11436 search results - page 236 / 2288 » Modeling Real Reasoning |
114
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
138
click to vote
CGI
2006
IEEE
15 years 9 months ago
2006
IEEE
Although lots of works have been engaged in interactive and realistic rendering of translucent materials, efficient processing for deformable models remains a challenging problem...
123
Voted
TAPSOFT
1991
Springer
15 years 7 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
102
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
145
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...