5393 search results - page 132 / 1079 » Spatial Computing with Labels |
ATAL
2008
Springer
14 years 2 days ago
2008
Springer
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
SCALESPACE
2007
Springer
14 years 4 months ago
2007
Springer
HRI
2006
ACM
14 years 4 months ago
2006
ACM
BIRTHDAY
2008
Springer
14 years 2 days ago
2008
Springer
A number of models of computation on trees labeled with symbols from an infinite alphabet is considered. We study closure and decision properties of each of the models and compare ...
PACT
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...