1413 search results - page 241 / 283 » Bisimilarity of Open Terms |
208
click to vote
IPSN
2007
Springer
16 years 15 days ago
2007
Springer
Recent work has shown that, despite the minimal information provided by a binary proximity sensor, a network of such sensors can provide remarkably good target tracking performanc...
173
click to vote
ISSAC
2007
Springer
16 years 15 days ago
2007
Springer
Partitioned Global Address Space (PGAS) languages combine the programming convenience of shared memory with the locality and performance control of message passing. One such langu...
181
click to vote
SAT
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
187
click to vote
ICRA
2006
IEEE
16 years 11 days ago
2006
IEEE
— The dangerous and time sensitive nature of a disaster area makes it an ideal application for robotic exploration. Our long term goal is to enable humans, software agents, and a...
165
click to vote
COMPGEOM
2006
ACM
16 years 9 days ago
2006
ACM
Embedding metrics into constant-dimensional geometric spaces, such as the Euclidean plane, is relatively poorly understood. Motivated by applications in visualization, ad-hoc netw...