338 search results - page 12 / 68 » On the Complexity of Termination Inference for Processes |
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Ontologies constitute a pertinent mean to define and to manage competencies and knowledge in companies. The powerful inference mechanisms coming with ontologies allow imp...
AAAI
1997
15 years 2 months ago
1997
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
AI
2007
Springer
15 years 7 months ago
2007
Springer
Complex Nominals (CNs) have simple syntactic structure that conceals non-trivial semantic characteristics. While speakers of natural languages combine noun(s)/adjective(s) with a h...
116
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
This work presents a discriminative training method for
particle filters in the context of multi-object tracking. We
are motivated by the difficulty of hand-tuning the many
mode...
134
click to vote
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
We study the computational complexity of basic decision problems for one-counter simple stochastic games (OC-SSGs), under various objectives. OC-SSGs are 2-player turn-based stoch...