9284 search results - page 89 / 1857 » Knowledge State Algorithms |
130
click to vote
STOC
2006
ACM
15 years 8 months ago
2006
ACM
It has been known for some time that graph isomorphism reduces to the hidden subgroup problem (HSP). What is more, most exponential speedups in quantum computation are obtained by...
124
click to vote
ICCAD
2010
IEEE
15 years 13 days ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
145
click to vote
CMSB
2009
Springer
15 years 9 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
LFCS
2007
Springer
15 years 8 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
158
click to vote
PG
2003
IEEE
15 years 7 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...