5393 search results - page 132 / 1079 » Spatial Computing with Labels |
93
Voted
ATAL
2008
Springer
15 years 4 months 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...
61
Voted
SCALESPACE
2007
Springer
15 years 8 months ago
2007
Springer
88
Voted
HRI
2006
ACM
15 years 8 months ago
2006
ACM
118
Voted
BIRTHDAY
2008
Springer
15 years 4 months 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 ...
108
Voted
PACT
2005
Springer
15 years 7 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...