3679 search results - page 660 / 736 » Answer set based design of knowledge systems |
150
Voted
SCP
2010
15 years 2 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
121
Voted
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
189
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Large collections of documents are commonly created around a database, where a typical database schema may contain hundreds of tables and thousands of columns. We developed a syst...
132
Voted
ICIAP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents Olympus, a modular processing architecture for a distributed ambient intelligence. The system is aimed at detailed reporting of people wandering and gesturing ...
113
Voted
EWSN
2004
Springer
16 years 3 months ago
2004
Springer
Habitat monitoring is an important driving application for wireless sensor networks (WSNs). Although researchers anticipate some challenges arising in the real-world deployments of...