3358 search results - page 92 / 672 » Dynamic Description Logics |
CADE
1998
Springer
14 years 2 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
CADE
2008
Springer
13 years 12 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
PERCOM
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we describe the middleware that has evolved from our attempt to capture user descriptions of policies controlling devices and services from natural language. Descri...
SIGIR
2004
ACM
14 years 3 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
ISLPED
1995
ACM
14 years 1 months ago
1995
ACM
The need to reduce the power consumption of the next generation of digital systems is clearly recognized. At the system level, power management is a very powerful technique and de...