9067 search results - page 1671 / 1814 » Adaptive Model Checking |
158
click to vote
ICADL
2010
Springer
15 years 8 months ago
2010
Springer
Can the speakers of small languages, which may be remote, unwritten, and endangered, be trained to create an archival record of their oral literature, with only limited external su...
179
click to vote
AUTONOMICS
2008
ACM
15 years 8 months ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
178
click to vote
CIARP
2006
Springer
15 years 8 months ago
2006
Springer
The Neural Gas (NG) is a Vector Quantization technique where a set of prototypes self organize to represent the topology structure of the data. The learning algorithm of the Neural...
210
click to vote
CRV
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we present an approach for video surveillance involving (a) moving object detection, (b) tracking and (c) normal/abnormal event recognition. The detection step uses...
164
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
We define a model of learning probabilistic acyclic circuits using value injection queries, in which an arbitrary subset of wires is set to fixed values, and the value on the sing...