6020 search results - page 215 / 1204 » A New Approach to Model Counting |
133
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...
150
click to vote
CBSE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
131
click to vote
HAPTICS
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a new approach for realistic visio-haptic simulation of nonlinear and viscoelastic behavior of an organ tissue using a particle model. The spring and damper coefficients...
133
click to vote
EPEW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
244
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
We present a novel approach for detecting global behaviour
anomalies in multiple disjoint cameras by learning
time delayed dependencies between activities cross camera
views. Sp...