1133 search results - page 30 / 227 » Local Logics for Traces |
124
Voted
TOG
2008
15 years 16 days ago
2008
We present a new adaptive sampling strategy for ray tracing. Our technique is specifically designed to handle multidimensional sample domains, and it is well suited for efficientl...
121
click to vote
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Many real-world applications of AI require both probability and first-order logic to deal with uncertainty and structural complexity. Logical AI has focused mainly on handling com...
101
click to vote
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
120
Voted
ICS
1999
Tsinghua U.
15 years 5 months ago
1999
Tsinghua U.
—This paper explores the use of compiler optimizations which optimize the layout of instructions in memory. The target is to enable the code to make better use of the underlying ...
BMCBI
2006
15 years 21 days ago
2006
Background: Cellular metabolism can be characterized by networks of enzymatic reactions and transport processes capable of supporting cellular life. Our aim is to find evolutionar...