1520 search results - page 69 / 304 » Class Hierarchy Specialization |
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
FLAIRS
2003
2003
Human-Centered Design in Synthetic Teammates for Aviation: The Challenge for Artificial Intelligence
13 years 9 months ago
Synthetic teammates are a special class of artificial intelligence that is intended to replace the human operator in some special capacity. This proposal outlines some guidelines ...
SCL
2008
13 years 7 months ago
2008
In this paper it is shown that, if a time-varying uncertain system is robustly completely detectable, then there exists an estimator for this system, i.e. the state vector of the ...
WG
2005
Springer
14 years 1 months ago
2005
Springer
The Tutte polynomial is a notoriously hard graph invariant, and efficient algorithms for it are known only for a few special graph classes, like for those of bounded tree-width. Th...
RIAO
2004
13 years 9 months ago
2004
This paper presents our experiments in applying semantic information to improve the precision of the information retrieval module in a closed-domain question-answering system. Tha...