469 search results - page 24 / 94 » Process Algebras for Collective Dynamics |
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
A significant amount of information is stored in computer systems today, but people are struggling to manage their documents such that the information is easily found. XML is a de...
DEXA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Latent Semantic Indexing(LSI) has been proved to be effective to capture the semantic structure of document collections. It is widely used in content-based text retrieval...
118
click to vote
IJRR
2010
14 years 10 months ago
2010
Path planning and trajectory design for autonomous underwater vehicles (AUVs) is of great importance to the oceanographic research community because automated data collection is b...
ENTCS
2010
14 years 12 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
107
click to vote
ATAL
2010
Springer
14 years 6 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...