8094 search results - page 144 / 1619 » Improvements in Formula Generalization |
ROBOCUP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents selected methods used by the vision system of the GermanTeam, the World Champion in the Sony Four-Legged League in 2004. Color table generalization is...
SIGIR
2010
ACM
14 years 1 months ago
2010
ACM
The retrieval of sentences is a core task within Information Retrieval. In this poster we employ a Language Model that incorporates a prior which encodes the importance of sentenc...
EUROPLOP
2006
13 years 10 months ago
2006
: The usability of a computer system can be improved by design of the user interface, and, as importantly, by design of usersystem interactions. Our research presents usability-imp...
AFRICACRYPT
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. The most costly operations encountered in pairing computations are those that take place in the full extension field Fpk . At high levels of security, the complexity of ...
NMR
2004
Springer
14 years 2 months ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...