9284 search results - page 113 / 1857 » Knowledge State Algorithms |
126
Voted
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
136
Voted
IPSN
2004
Springer
15 years 8 months ago
2004
Springer
This paper investigates the problem of designing decentralized representations to support monitoring and inferences in sensor networks. State-space models of physical phenomena su...
107
Voted
ECML
2006
Springer
15 years 6 months ago
2006
Springer
The standard approach for learning Markov Models with Hidden State uses the Expectation-Maximization framework. While this approach had a significant impact on several practical ap...
122
Voted
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we present a novel scheme for unstructured audio scene classification that possesses three highly desirable and powerful features: autonomy, scalability, and robust...
123
Voted
CMSB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...