Sciweavers

3775 search results - page 610 / 755
» The Expression Problem Revisited
Sort
View
RIAO
2004
15 years 5 months ago
Combining Positive and Negative Query Feedback in Passage Retrieval
Information Retrieval Systems aim at retrieving relevant documents according to the information needs which users express. Most Information Retrieval Systems focus on passage retr...
Taoufiq Dkaki, Josiane Mothe
IJCAI
2003
15 years 5 months ago
Multiagent Planning with Partially Ordered Temporal Plans
This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL al...
Michael Brenner
AAAI
2000
15 years 5 months ago
A Game-Theoretic Approach to Constraint Satisfaction
We shed light on the connections between different approaches to constraint satisfaction by showing that the main consistency concepts used to derive tractability results for cons...
Phokion G. Kolaitis, Moshe Y. Vardi
121
Voted
SERP
2003
15 years 5 months ago
Polymorphism in Object-Oriented Contract Verification
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
Isabel Nunes
UAI
2003
15 years 5 months ago
Learning Module Networks
Methods for learning Bayesian networks can discover dependency structure between observed variables. Although these methods are useful in many applications, they run into computat...
Eran Segal, Dana Pe'er, Aviv Regev, Daphne Koller,...