971 search results - page 88 / 195 » Approximate Satisfiability and Equivalence |
91
Voted
ENTCS
2006
15 years 21 days ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
ALGOSENSORS
2007
Springer
15 years 6 months ago
2007
Springer
We introduce Semi-Matching with Demands (SMD), which models a certain problem in sensor networks of assigning individual sensors to sensing tasks. If there are multiple sensing tas...
SCALESPACE
2007
Springer
15 years 6 months ago
2007
Springer
In region-based image segmentation, two models dominate the field: the Mumford-Shah functional and statistical approaches based on Bayesian inference. Whereas the latter allow for...
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In reinforcement learning, least-squares temporal difference methods (e.g., LSTD and LSPI) are effective, data-efficient techniques for policy evaluation and control with linear v...
104
Voted
DLT
2003
15 years 2 months ago
2003
We present different techniques for reducing the number of states and transitions in nondeterministic automata. These techniques are based on the two preorders over the set of st...