1738 search results - page 136 / 348 » Local Consistency and SAT-Solvers |
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
AH
2004
Springer
2004
Springer
The Personal Reader: Personalizing and Enriching Learning Resources Using Semantic Web Technologies.
14 years 3 months ago
Traditional adaptive hypermedia systems have focused on providing adaptation functionality on a closed corpus, while Web search interfaces have delivered non-personalized informati...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
CIKM
2001
Springer
14 years 2 months ago
2001
Springer
As mobile devices get ubiquitous and grow in computational power, their management of interdependent data also becomes increasingly important. The mobile environment exhibits all ...
BMCV
2000
Springer
14 years 2 months ago
2000
Springer
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...