873 search results - page 19 / 175 » step 2005 |
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
CPM
2005
Springer
15 years 5 months ago
2005
Springer
Gene structure prediction is one of the most important problems in computational molecular biology. It involves two steps: the first is finding the evidence (e.g. predicting spl...
DAGM
2005
Springer
15 years 5 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...
115
click to vote
ECWEB
2005
Springer
15 years 5 months ago
2005
Springer
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...
115
click to vote
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...