9067 search results - page 593 / 1814 » Adaptive Model Checking |
179
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
193
click to vote
ICBA
2004
Springer
16 years 16 days ago
2004
Springer
We apply the ETSI’s DSR standard to speaker verification over telephone networks and investigate the effect of extracting spectral features from different stages of the ETSI...
197
click to vote
EPIA
2003
Springer
16 years 11 days ago
2003
Springer
Most of supervised learning algorithms assume the stability of the target concept over time. Nevertheless in many real-user modeling systems, where the data is collected over an ex...
191
click to vote
ICPP
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper a sufficient condition is given for minimal routing in n-dimensional (n-D) meshes with faulty nodes contained in a set of disjoint fault regions. It is based on an ...
203
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
Efficient user-adaptable similarity search more and more increases in its importance for multimedia and spatial database systems. As a general similarity model for multi-dimension...