1146 search results - page 66 / 230 » Finite cupping sets |
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
We have developed a nonrigid registration technique applicable to breast tissue imaging. It relies on a finite element method (FEM) model and a set of fiducial skin markers (FSMs)...
DSRT
2008
IEEE
14 years 3 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
DSVIS
2003
Springer
14 years 2 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
ICCBR
2010
Springer
14 years 27 days ago
2010
Springer
In this paper we present an approach for reducing the memory footprint requirement of temporal difference methods in which the set of states is finite. We use case-based generaliza...