257 search results - page 41 / 52 » New Bisimulation Semantics for Distributed Systems |
145
click to vote
COLT
1994
Springer
15 years 3 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
140
click to vote
SBMF
2010
Springer
14 years 6 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on th...
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
111
click to vote
SIGIR
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we present a novel image search system, image search by concept map. This system enables users to indicate not only what semantic concepts are expected to appear bu...