2214 search results - page 331 / 443 » Complexity of Reasoning |
145
click to vote
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...
143
click to vote
FM
1991
Springer
15 years 6 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
104
click to vote
FC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Secure login methods based on human cognitive skills can be classified into two categories based on information available to a passive attacker: (i) the attacker fully ob...
114
click to vote
AAAI
2007
15 years 5 months ago
2007
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is to determine, online, all faults and states that explain the flow of observatio...
145
click to vote
AAAI
2007
15 years 5 months ago
2007
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...