934 search results - page 92 / 187 » A theoretical analysis of the HIFF problem |
WSC
2008
15 years 7 days ago
2008
The CH149 Cormorant is the Canadian Forces (CF) designation for the AgustaWestland EH101, the Canadian Air Force's only dedicated search and rescue (SAR) helicopter. Since it...
AAAI
1994
14 years 11 months ago
1994
This paper presents a novel approach to diagnosis which addresses the two problems - computational complexity of abduction and device models - that have prevented model-based diag...
TEDU
2008
14 years 9 months ago
2008
This paper presents a theoretical framework, which has been adopted in designing an on-line multi-player strategy game Europe 2045. Europe 2045 is an educational tool for high scho...
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
Numerous statistical learning methods have been developed for visual recognition tasks. Few attempts, however, have been made to address theoretical issues, and in particular, stud...
129
click to vote
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...