12774 search results - page 2516 / 2555 » A Framework for Proof Systems |
129
click to vote
SIGIR
1995
ACM
15 years 5 months ago
1995
ACM
The full integration of information retrieval (IR) features into a database management system (DBMS) has long been recognized as both a significant goal and a challenging undertak...
152
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
127
click to vote
AAAI
2008
15 years 4 months ago
2008
Cooperative problem solving with resource constraints are important in practical multi-agent systems. Resource constraints are necessary to handle practical problems including dis...
112
click to vote
AVI
2008
15 years 4 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
142
click to vote
AIRWEB
2008
Springer
15 years 4 months ago
2008
Springer
Online social media draws heavily on active reader participation, such as voting or rating of news stories, articles, or responses to a question. This user feedback is invaluable ...