16216 search results - page 2985 / 3244 » Effective Modeling with Constraints |
167
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
157
click to vote
AAAI
2004
15 years 8 months ago
2004
The evaluation of incomplete satisfiability solvers depends critically on the availability of hard satisfiable instances. A plausible source of such instances consists of random k...
150
click to vote
AAAI
2006
15 years 8 months ago
2006
This paper develops new algorithms for coalition formation within multi-sensor networks tasked with performing widearea surveillance. Specifically, we cast this application as an ...
159
click to vote
AAAI
2006
15 years 8 months ago
2006
In medical diagnosis doctors must often determine what medical tests (e.g., X-ray, blood tests) should be ordered for a patient to minimize the total cost of medical tests and mis...
174
click to vote
ACL
2006
15 years 8 months ago
2006
This article describes a robust semantic parser that uses a broad knowledge base created by interconnecting three major resources: FrameNet, VerbNet and PropBank. The FrameNet cor...