21430 search results - page 129 / 4286 » Abstract Effective Models |
179
click to vote
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
160
click to vote
AI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Causal modeling, such as noisy-OR, reduces probability parameters to be acquired in constructing a Bayesian network. Multiple causes can reinforce each other in producing...
174
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. Performing effective preference-based data retrieval requires detailed and preferentially meaningful structurized information about the current user as well as the items ...
155
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
traction with Interpolants K. L. McMillan Cadence Berkeley Labs Abstract. We describe a model checker for infinite-state sequential proased on Craig interpolation and the lazy abst...
176
click to vote
ICRA
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— Robots need to track object. Object tracking efficiency completely depends on the accuracy of the motion model and of the sensory information. Interestingly, when mult...