3047 search results - page 320 / 610 » A Secure Distributed Search System |
161
click to vote
IJCAI
1997
15 years 6 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
135
click to vote
DATAMINE
2008
15 years 4 months ago
2008
Rules are commonly used for classification because they are modular, intelligible and easy to learn. Existing work in classification rule learning assumes the goal is to produce ca...
138
click to vote
JCDL
2004
ACM
15 years 10 months ago
2004
ACM
We describe two experimental desktop library clients that offer improved access to geospatial data via the Alexandria Digital Library (ADL): ArcADL, an extension to ESRI's Ar...
137
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
156
click to vote
AGENTS
1999
Springer
15 years 9 months ago
1999
Springer
We describe the interface between a real-time resource allocation system with an AI planner in order to create fault-tolerant plans that are guaranteed to execute in hard real-tim...