4280 search results - page 500 / 856 » Mechanisms for information elicitation |
208
click to vote
AI50
2006
15 years 10 months ago
2006
The human brain is the best example of intelligence known, with unsurpassed ability for complex, real-time interaction with a dynamic world. AI researchers trying to imitate its re...
156
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Due to the growth of unresponsive UDP traffic in the Internet, it becomes increasingly important for ISPs to amply shape the traffic that leaves their network. Ideally, flows shou...
198
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
146
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
175
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Ad-hoc data exchange, e.g., by sending email attachments, leads to multiple copies or versions of a document at dispersed nodes in a network. However, their relationships such as ...