3702 search results - page 305 / 741 » All Pairings Are in a Group |
157
click to vote
CLEF
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes the work done by the RFIA group at the Departamento de Sistemas Inform´aticos y Computaci´on of the Universidad Polit´ecnica of Valencia for the 2007 editio...
168
click to vote
SAMT
2007
Springer
16 years 27 days ago
2007
Springer
In this work, we propose a system for shot comparison directly working on the MPEG-1 stream in the compressed domain, extracting both color, texture and motion features considering...
312
click to vote
ACOM
2006
Springer
16 years 23 days ago
2006
Springer
Abstract. This paper considers the combination of agent communication and ontology alignment within a group of heterogeneous agents. The agents align their ontologies by constructi...
157
Voted
EPEW
2005
Springer
16 years 9 days ago
2005
Springer
We introduce and study a new model: 0-automatic queues. Roughly, 0-automatic queues are characterized by a special buffering mechanism evolving like a random walk on some infini...
165
click to vote
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...