8719 search results - page 1352 / 1744 » Visualization of Distributed Processes Using |
167
Voted
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...
151
click to vote
AAAI
1990
15 years 6 months ago
1990
The Symbolic Probabilistic Inference (SPI) Algorithm [D'Ambrosio, 19891 provides an efficient framework for resolving general queries on a belief network. It applies the conc...
179
click to vote
CSREASAM
2009
15 years 6 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
116
Voted
DEBU
2008
15 years 5 months ago
2008
Oracle Berkeley DB is a family of database engines that provide high performance, transactional data management on a wide variety of platforms. Berkeley DB products are available ...
135
Voted
AIM
2006
15 years 5 months ago
2006
We are developing Companion Cognitive Systems, a new kind of software that can be effectively treated as a collaborator. Aside from their potential utility, we believe this effort...