4242 search results - page 379 / 849 » An Event Spacing Experiment |
193
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...
219
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Particle filtering (PF) for dynamic Bayesian networks (DBNs) with discrete-state spaces includes a resampling step which concentrates samples according to their relative weight in ...
193
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
182
click to vote
SI3D
1995
ACM
15 years 11 months ago
1995
ACM
This paper presents a new method for navigating virtual environments called “The River Analogy.” This analogy provides a new way of thinking about the user’s relationship to...
168
click to vote
FLAIRS
2008
15 years 10 months ago
2008
This paper presents a syntactic path-based learning algorithm (CANDEL from CANDIDATE-ELIMINATION) for the coreference resolution of pronouns that have their antecedents in the sam...