3446 search results - page 316 / 690 » A Reasoning Algorithm for pD* |
148
Voted
SCP
2008
15 years 6 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...
156
click to vote
JETAI
2007
15 years 6 months ago
2007
Contextual vocabulary acquisition (CVA) is the active, deliberate acquisition of a meaning for an unknown word in a text by reasoning from textual clues, prior knowledge, and hypo...
172
click to vote
TROB
2008
15 years 6 months ago
2008
We present a method for inferring the topology of a sensor network given nondiscriminating observations of activity in the monitored region. This is accomplished based on no prior ...
165
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
A polynomial depth quantum circuit affects, by definition, a poly-local unitary transformation of a tensor product state space. It is a reasonable belief [Fe], [L], [FKW] that, at ...
188
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...