883 search results - page 76 / 177 » Communities of Interest |
SSS
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
KES
2005
Springer
14 years 1 months ago
2005
Springer
Much of the world’s data is in the form of time series, and many other types of data, such as video, image, and handwriting, can easily be transformed into time series. This fact...
AI
2005
Springer
13 years 7 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
SEKE
2007
Springer
14 years 1 months ago
2007
Springer
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
ACMDIS
2010
ACM
13 years 8 months ago
2010
ACM
This two-day workshop brings together the interdisciplinary community of scholars and practitioners involved in the design of interactive systems and sharing a common interest in ...