192 search results - page 27 / 39 » Application of the Digraph Method in System Fault Diagnostic... |
103
click to vote
BIRTHDAY
2007
Springer
15 years 3 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
CHI
2009
ACM
16 years 6 days ago
2009
ACM
We introduce a technique for exploring multi-layered images by scraping arbitrary areas to determine meaningful relationships. Our system, called Wetpaint, uses perceptual depth c...
ECCV
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new approach in the application of computer vision techniques to the diagnosis of solid breast tumors on ultrasound images. Most works related to medical imag...
111
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
CSMR
2003
IEEE
15 years 5 months ago
2003
IEEE
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...