912 search results - page 148 / 183 » Abstract Saturation-Based Inference |
ISNN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents Artificial Neural Network (ANN) based architecture for underwater object detection from Light Detection And Ranging (Lidar) data. Lidar gives a sequen...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
74
Voted
SAC
2004
ACM
15 years 3 months ago
2004
ACM
Abstract. We describe an architecture for building speech-enabled conversational agents, deployed as self-contained Web services, with ability to provide inference processing on ve...
113
click to vote
ARGMAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
CINQ
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...