6693 search results - page 195 / 1339 » Methods of Automatic Algorithm Generation |
125
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
116
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
Email-based activity management systems promise to give users better tools for managing increasing volumes of email, by organizing email according to a user’s activities. Curren...
150
click to vote
CVBIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Extraction of bone contours from x-ray images is an important first step in computer analysis of medical images. It is more complex than the segmentation of CT and MR im...
141
Voted
DAGM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract: In this paper we introduce a novel method for automatic propagation of foreground objects in image sequences. Our method is based on a combination of the mean-shift opera...
142
Voted
TACAS
1997
Springer
15 years 9 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...