3951 search results - page 177 / 791 » Automatic amortized analysis |
136
click to vote
GI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract: Protection and surveillance of persons and facilities is frequently associated with automatic tracking of striking objects like vehicles or persons in an image sequence. ...
150
click to vote
GECCO
2000
Springer
15 years 8 months ago
2000
Springer
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
138
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
A software tool for analyzing Diffusion Tensor MRI (DT-MRI) data is presented. The tool includes methods for segmentation of white matter for automatic definition of seed points fo...
163
click to vote
ISDA
2006
IEEE
15 years 11 months ago
2006
IEEE
We present in this paper a modification of Lumer and Faieta’s algorithm for data clustering. This algorithm discovers automatically clusters in numerical data without prior kno...
134
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...