8094 search results - page 144 / 1619 » Improvements in Formula Generalization |
91
Voted
ROBOCUP
2005
Springer
15 years 9 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...
133
Voted
SIGIR
2010
ACM
15 years 7 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...
134
Voted
EUROPLOP
2006
15 years 4 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...
135
click to vote
AFRICACRYPT
2010
Springer
15 years 10 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 ...
132
click to vote
NMR
2004
Springer
15 years 8 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...