2180 search results - page 342 / 436 » A Framework of Evaluation for Question-Answering Systems |
162
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
149
click to vote
CLEAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Simultaneous tracking of multiple persons in real world environments is an active research field and several approaches have been proposed, based on a variety of features...
152
click to vote
LISA
2007
15 years 8 months ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...
153
click to vote
USENIX
2007
15 years 8 months ago
2007
As the scope of personal data grows, it becomes increasingly difficult to find what we need when we need it. Desktop search tools provide a potential answer, but most existing too...
162
click to vote
ISCAPDCS
2004
15 years 7 months ago
2004
Scheduling and load-balancing techniques play an integral role in reducing the overall execution time of scientific applications on clustered multi-node systems. The increasing co...