90 search results - page 7 / 18 » Exploiting purity for atomicity |
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
VIS
2007
IEEE
14 years 9 months ago
2007
IEEE
Proteins are highly flexible and large amplitude deformations of their structure, also called slow dynamics, are often decisive to their function. We present a two-level rendering ...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
AH
2000
Springer
13 years 12 months ago
2000
Springer
In this paper, we discuss an approach that tries to blur the distinction between adaptive hypermedia and dynamic NLG-based hypermedia. The approach aims at finding an optimal trade...