2268 search results - page 270 / 454 » The Essence of Form Abstraction |
137
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
120
click to vote
MOBIQUITOUS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Large-scale ubiquitous computing environments require scalable and robust service discovery to enable “anytime, anywhere” computing, which is hard to be satisfied ...
114
click to vote
ROMAN
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper describes a novel algorithm for autonomous and incremental learning of motion pattern primitives by observation of human motion. Human motion patterns are ed...
117
click to vote
ROBOCOMM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
107
click to vote
SASO
2007
IEEE
15 years 8 months ago
2007
IEEE
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...