9067 search results - page 1698 / 1814 » Adaptive Model Checking |
169
click to vote
BC
2002
15 years 6 months ago
2002
Synchronously spiking neurons have been observed in the cerebral cortex and the hippocampus. In computer models, synchronous spike volleys may be propagated across appropriately co...
148
click to vote
CVIU
2000
15 years 6 months ago
2000
We present an approach to attention in active computer vision. The notion of attention plays an important role in biological vision. In recent years, and especially with the emergi...
158
click to vote
ESE
2002
15 years 6 months ago
2002
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...
218
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
136
click to vote
SIAMCO
2000
15 years 6 months ago
2000
In this paper, a perturbation expansion technique is introduced to decompose the tracking error of a general adaptive tracking algorithm in a linear regression model. This method ...