1306 search results - page 75 / 262 » A Diagrammatic Approach to Model Completion |
130
click to vote
ICIP
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose a system identification approach for group activity recognition in traffic surveillance. Statistical shape theory is used to extract features, and then...
102
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
99
Voted
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
101
click to vote
ECML
2006
Springer
15 years 4 months ago
2006
Springer
Reinforcement learning in real-world domains suffers from three curses of dimensionality: explosions in state and action spaces, and high stochasticity. We present approaches that ...
107
click to vote
JLP
2000
15 years 11 days ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...