285 search results - page 36 / 57 » Relating two formal models of path-vector routing |
108
click to vote
COSIT
2009
Springer
15 years 8 months ago
2009
Springer
Movement patterns of individual entities at the geographic scale are becoming a prominent research focus in spatial sciences. One pertinent question is how cognitive and formal cha...
114
click to vote
AAAI
2007
15 years 3 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
171
click to vote
GPC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
213
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
110
click to vote
SCVMA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...