Results 1 - 10 of 4,825

Bisimulation through probabilistic testing

by Kim G. Larsen, Arne Skou - in “Conference Record of the 16th ACM Symposium on Principles of Programming Languages (POPL , 1989
"... We propose a language for testing concurrent processes and examine its strength in terms of the processes that are distinguished by a test. By using probabilistic transition systems as the underlying semantic model, we show how a testing algorithm can distinguish, with a probability arbitrarily clos ..."
Abstract - Cited by 529 (14 self) - Add to MetaCart
close to one, between processes that are not bisimulation equivalent. We also show a similar result (in a slightly stronger form) for a new process relation called $-bisimulation-which lies strictly between that of simulation and bisimulation. Finally, the ultimately strength of the testing language

The Ultimate Display

by Ivan E. Sutherland - Proceedings of the IFIP Congress , 1965
"... Office, ARPA, OSD We live in a physical world whose properties we have come to know well through long familiarity. We sense an involvement with this physical world which gives us the ability to predict its properties well. For example, we can predict where objects will fall, how well-known shapes lo ..."
Abstract - Cited by 232 (0 self) - Add to MetaCart
now generally have built in line-drawing capability. An ability to draw simple curves would be useful. Some available displays are able to plot very short line segments in arbitrary directions, to form characters or more complex curves. Each of these abilities has a history and a known utility

Empathy: Its ultimate and proximate bases

by Stephanie D. Preston, Frans B. M. De Waal - Behavioral and Brain Sciences , 2002
"... The empathy literature is characterized by debate regarding the nature of the phenomenon. We propose a unified theory of empathy, divided into ultimate and proximate levels, grounded in the emotional link between individuals. On an ultimate level, emotional linkage supports group alarm, vicariousnes ..."
Abstract - Cited by 234 (5 self) - Add to MetaCart
The empathy literature is characterized by debate regarding the nature of the phenomenon. We propose a unified theory of empathy, divided into ultimate and proximate levels, grounded in the emotional link between individuals. On an ultimate level, emotional linkage supports group alarm

Support Vector Machines for Classification and Regression

by Steve R. Gunn - UNIVERSITY OF SOUTHAMPTON, TECHNICAL REPORT , 1998
"... The problem of empirical data modelling is germane to many engineering applications. In empirical data modelling a process of induction is used to build up a model of the system, from which it is hoped to deduce responses of the system that have yet to be observed. Ultimately the quantity and qualit ..."
Abstract - Cited by 357 (5 self) - Add to MetaCart
The problem of empirical data modelling is germane to many engineering applications. In empirical data modelling a process of induction is used to build up a model of the system, from which it is hoped to deduce responses of the system that have yet to be observed. Ultimately the quantity

Is imitation learning the route to humanoid robots?

by Stefan Schaal - TRENDS IN COGNITIVE SCIENCES , 1999
"... This review investigates two recent developments in artificial intelligence and neural computation: learning from imitation and the development of humanoid robots. It is postulated that the study of imitation learning offers a promising route to gain new insights into mechanisms of perceptual motor ..."
Abstract - Cited by 308 (18 self) - Add to MetaCart
control that could ultimately lead to the creation of autonomous humanoid robots. Imitation learning focuses on three important issues: efficient motor learning, the connection between action and perception, and modular motor control in the form of movement primitives. It is reviewed here how research

Ultimate Cloud

by K. Naga Sumanth, M. Tech
"... (a scheme which uses all formidable technologies culminated together to form a most secure mechanism for cloud data fortification) ..."
Abstract - Add to MetaCart
(a scheme which uses all formidable technologies culminated together to form a most secure mechanism for cloud data fortification)

forms

by Sylvain Gelly, Olivier Teytaud, Jrmie Mary
"... On the ultimate convergence rates for isotropic ..."
Abstract - Add to MetaCart
On the ultimate convergence rates for isotropic

Genomic Cis-regulatory logic: experimental and computational analysis of a sea urchin gene

by Chiou-hwa Yuh, Hamid Bolouri, Eric H. Davidson - Science , 1998
"... The genomic regulatory network that controls gene expression ultimately determines form and function in each species. The operational nature of the regulatory programming specified in cis-regulatory DNA sequence was determined from a detailed functional analysis of a sea urchin control element that ..."
Abstract - Cited by 192 (2 self) - Add to MetaCart
The genomic regulatory network that controls gene expression ultimately determines form and function in each species. The operational nature of the regulatory programming specified in cis-regulatory DNA sequence was determined from a detailed functional analysis of a sea urchin control element

Ultimate normal forms for parallelized natural deductions”, Logic

by Neil Tennant - Journal of the IGPL , 2002
"... The system of natural deduction that originated with Gentzen (1934–5), and for which Prawitz (1965) proved a normalization theorem, is re-cast so that all elimination rules are in parallel form. This enables one to prove a very exigent normalization theorem. The normal forms that it provides have al ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
calculi in order to establish the desired metalogical properties of his logical system. Ultimate normal forms are well-adapted to the needs of the computational logician, affording valuable constraints on proof-search. They also provide an analysis of deductive relevance. There is a deep isomorphism

The Ultimate Display Page 1 of 3 The Ultimate Display

by Ivan E. Sutherland
"... Office, ARPA, OSD We live in a physical world whose properties we have come to know well through long familiarity. We sense an involvement with this physical world which gives us the ability to predict its properties well. For example, we can predict where objects will fall, how wellknown shapes loo ..."
Abstract - Add to MetaCart
now generally have built in line-drawing capability. An ability to draw simple curves would be useful. Some available displays are able to plot very short line segments in arbitrary directions, to form characters or more complex curves. Each of these abilities has a history and a known utility.
Results 1 - 10 of 4,825