5205 search results - page 992 / 1041 » Tilings and model theory |
166
click to vote
OTM
2007
Springer
16 years 8 days ago
2007
Springer
In recent years, existing computing schemes and paradigms have evolved towards more flexible, ad-hoc scalable frameworks. Nowadays, exchanging interactions between entities often ...
182
click to vote
PPDP
2007
Springer
16 years 8 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
170
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
In collaborative indexing systems users generate a big amount of metadata by labelling web-based content. These labels are known as tags and form a shared vocabulary. In order to u...
180
click to vote
WISTP
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. For ubiquitous communication self-organising adhoc networks become more and more important. We consider mobile phones as appropriate secure gateways to provide access to ...
174
click to vote
IROS
2006
IEEE
16 years 5 days ago
2006
IEEE
— This paper presents a robot audition system that recognizes simultaneous speech in the real world by using robotembedded microphones. We have previously reported Missing Featur...