9264 search results - page 124 / 1853 » Space Between Languages |
128
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
112
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or duri...
113
Voted
MICAI
2004
Springer
15 years 9 months ago
2004
Springer
A concise manner to send information from agent A to B is to use phrases constructed with the concepts of A: to use the concepts as the atomic tokens to be transmitted. Unfortunate...
158
Voted
SPATIALCOGNITION
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
113
Voted
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...