1992 search results - page 391 / 399 » Model Based Testing with Labelled Transition Systems |
FIMH
2009
Springer
13 years 5 months ago
2009
Springer
Cardiac magnetic resonance (MR) imaging has advanced to become a powerful diagnostic tool in clinical practice. Automatic detection of anatomic landmarks from MR images is importan...
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
CLUSTER
2003
IEEE
14 years 20 days ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...
BMCBI
2006
13 years 7 months ago
2006
Background: Particle Swarm Optimization (PSO) is an established method for parameter optimization. It represents a population-based adaptive optimization technique that is influen...
ICIAP
2007
ACM
14 years 7 months ago
2007
ACM
This work is about a novel methodology for window detection in urban environments and its multiple use in vision system applications. The presented method for window detection inc...