3505 search results - page 206 / 701 » A Language for Human Action |
137
click to vote
IPL
2008
15 years 6 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
142
click to vote
LISP
1998
15 years 6 months ago
1998
This paper describes a new language feature that is a hybrid of labels and procedures. It is closely related to jumping out of a functional subroutine, and includes conventional la...
141
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
159
click to vote
FDL
2005
IEEE
16 years 7 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
158
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper, we demonstrate that simple interactions with objects in the environment leads to a manifestation of the perceptual properties of objects. This is achieved by derivi...