34 search results - page 4 / 7 » Characterizing Diagnoses |
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we study the fault codiagnosis problem for discrete event systems given by finite automata (FA) and timed systems given by timed automata (TA). We provide a uniform c...
ITC
2003
IEEE
14 years 7 days ago
2003
IEEE
The objective of this paper is to present an infrastructure IP (I-IP) designed to characterize yield loss in the process back-end. The I-IP structure is described in using a botto...
SOCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
ICIP
2002
IEEE
14 years 8 months ago
2002
IEEE
In this work, we explore the use of a learning-based framework for retrieval of relevant mammogram images from a database, for purposes of aiding diagnoses. A fundamental issue is...
MICCAI
2003
Springer
14 years 7 months ago
2003
Springer
: Conventional laparoscopic tools do not have the ability of providing force feedback to a surgeon during surgical procedures. Loss of haptic feedback in MIS procedures is a disadv...