2989 search results - page 118 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
CAV
2003
Springer
15 years 3 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
IADIS
2004
14 years 11 months ago
2004
This paper introduces a study about managing the performance of virtual teams using intelligent agents. Through a review of previous research, the paper starts by contextually sit...
KDD
2010
ACM
15 years 1 months ago
2010
ACM
This paper examines important factors for link prediction in networks and provides a general, high-performance framework for the prediction task. Link prediction in sparse network...
DAGM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Approaches to visual navigation, e.g. used in robotics, require computationally efficient, numerically stable, and robust methods for the estimation of ego-motion. One of...
AAAI
2008
15 years 7 days ago
2008
Particle filtering algorithms can be used for the monitoring of dynamic systems with continuous state variables and without any constraints on the form of the probability distribu...