338 search results - page 12 / 68 » On the Complexity of Termination Inference for Processes |
CAISE
2004
Springer
15 years 3 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
14 years 11 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 3 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...
CVPR
2009
IEEE
16 years 4 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...
105
click to vote
FSTTCS
2010
Springer
14 years 7 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...