935 search results - page 164 / 187 » Stable models and difference logic |
EATIS
2007
ACM
13 years 11 months ago
2007
ACM
In this paper we propose an ontology based representation of the affective states for context aware applications that allows expressing the complex relations that are among the af...
ATVA
2004
Springer
13 years 11 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
GEOINFO
2003
13 years 9 months ago
2003
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existing...
KAIS
2002
13 years 7 months ago
2002
In this paper, we propose a novel approach to enhancing web proxy caching, an approach that integrates content management with performance tuning techniques. We first develop a hie...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
The creation of an FPGA requires extensive transistor-level design. This is necessary for both the final design, and during architecture exploration, when many different logic and...