5205 search results - page 737 / 1041 » Tilings and model theory |
199
click to vote
IUI
2006
ACM
16 years 21 days ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
207
Voted
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
185
click to vote
SIGECOM
2005
ACM
16 years 9 days ago
2005
ACM
We study first-price auction mechanisms for auctioning flow between given nodes in a graph. A first-price auction is any auction in which links on winning paths are paid their ...
188
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
194
click to vote
TBILLC
2005
Springer
16 years 7 days ago
2005
Springer
Case attraction has stood as a puzzling, and elusive, oddity of older Indo-European languages. This paper focuses on attraction in Ancient Greek, establishing both the regularity o...