7988 search results - page 1085 / 1598 » A Useful Undecidable Theory |
211
click to vote
ADVIS
2004
Springer
16 years 18 days ago
2004
Springer
An important issue in text mining is how to make use of multiple pieces knowledge discovered to improve future decisions. In this paper, we propose a new approach to combining mult...
205
click to vote
AMDO
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
194
click to vote
ECAI
2004
Springer
16 years 17 days ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
221
click to vote
ERCIMDL
2004
Springer
16 years 17 days ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
198
click to vote
FOIKS
2004
Springer
16 years 17 days ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...