2989 search results - page 377 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
161
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
153
click to vote
ISBI
2007
IEEE
16 years 21 days ago
2007
IEEE
A number of problems frequently encountered in brain image analysis can be conveniently solved within a registration framework, such as alignment of mono- or multi-sequence Magnet...
170
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
We introduce a novel framework for automatic detection of repeated patterns in real images. The novelty of our work is to formulate the extraction of an underlying deformed lattice...
159
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Discrete tomography (DT) is concerned with the tomographic reconstruction of images that consist of only a small number of gray levels. DT reconstruction problems are usually unde...
182
Voted
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...