10275 search results - page 375 / 2055 » Case Studies of Autonomy |
152
Voted
ISAAC
2005
Springer
16 years 11 days ago
2005
Springer
We study how to label the vertices of a tree in such a way that we can decide the distance of two vertices in the tree given only their labels. For trees, Gavoille et al. [7] prove...
179
Voted
ISMIR
2005
Springer
16 years 11 days ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
174
Voted
SAMOS
2005
Springer
16 years 10 days ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
155
click to vote
CSL
2004
Springer
16 years 8 days ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
173
click to vote
GC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...