4325 search results - page 252 / 865 » Incremental computation with names |
178
click to vote
FOSSACS
2004
Springer
16 years 17 hour ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
169
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In the present paper a system for generation of topological maps is going to be presented. This system is considered as one of the deliberative skills of the mobile robots architec...
170
click to vote
INFOCOM
1992
IEEE
15 years 10 months ago
1992
IEEE
Local area networks have long been established as the basis for distributed systems. Continuity of service and bounded and known message delivery latency are requirements of a num...
177
click to vote
LREC
2008
15 years 8 months ago
2008
We describe methods for extracting interesting factual relations from scientific texts in computational linguistics and language technology taken from the ACL Anthology. We use a ...
152
click to vote
WSS
2001
15 years 8 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...