11436 search results - page 100 / 2288 » Modeling Real Reasoning |
136
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...
107
click to vote
UAI
1993
15 years 2 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
163
click to vote
APWEB
2011
Springer
14 years 7 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
106
click to vote
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
Simulating fluids based on vortex filaments is highly attractive for the creation of special effects because it gives artists full control over the simulation using familiar too...
TVLSI
2008
15 years 21 days ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...