4502 search results - page 868 / 901 » Regular Model Checking |
SAC
2005
ACM
14 years 2 months ago
2005
ACM
The paradigm of Ubiquitous computing seeks to build a computing environment that responds to user context. An ideal file system for the Ubiquitous environment is one that can succ...
SC
2005
ACM
14 years 2 months ago
2005
ACM
The last decade has witnessed a rapid proliferation of superscalar cache-based microprocessors to build high-end computing (HEC) platforms, primarily because of their generality, ...
E4MAS
2005
Springer
14 years 2 months ago
2005
Springer
Stigmergy (the coordination of agents through signs they make and sense in a shared environment) was originally articulated in the study of social insects. Its basic processes are ...
LOCA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
CIKM
2004
Springer
14 years 2 months ago
2004
Springer
Automatically categorizing documents into pre-defined topic hierarchies or taxonomies is a crucial step in knowledge and content management. Standard machine learning techniques ...