1912 search results - page 320 / 383 » On the evaluation of argumentation formalisms |
FLAIRS
2003
15 years 1 months ago
2003
This paper presents the Incremental Breakout Algorithm with Variable Ordering (IncBA). This algorithm belongs to the class of local search algorithms for solving Constraint Satisf...
NIPS
2004
15 years 1 months ago
2004
Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by...
108
click to vote
INTERACT
2003
15 years 1 months ago
2003
: Handing over objects is a common event during collaboration in face-to-face interaction. We investigate how such an event can be supported when the interaction takes place in vir...
WICSA
2004
15 years 1 months ago
2004
The sheer amount of data produced by modern science research has created a need for the construction and understanding of "data-intensive systems", largescale, distribut...
116
click to vote
MSO
2003
15 years 1 months ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...