162 search results - page 25 / 33 » Extraction in Coq: An Overview |
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to supp...
IRI
2003
IEEE
14 years 28 days ago
2003
IEEE
Distributed collaboration over the Internet has become increasingly common in recent years, supported by various technologies such as virtual workspace systems. Often such collabo...
ILP
2003
Springer
14 years 26 days ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
SIGMOD
2010
ACM
14 years 14 days ago
2010
ACM
Many web queries seek information about named entities (such as products or people). Web search engines federate such entity-oriented queries to relevant structured databases; the...
NGITS
1993
Springer
13 years 11 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...