3265 search results - page 422 / 653 » Representing Groups on Graphs |
155
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
151
click to vote
FQAS
2000
Springer
15 years 10 months ago
2000
Springer
Knowledge scouts are software agents that autonomously synthesize knowledge of interest to a given user (target knowledge) by applying inductive database operators to a local or di...
167
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...
187
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...
171
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Reasoning with hypothetical cases helps decision-makers evaluate alternate hypotheses for deciding a case. The hypotheticals demonstrate the sensitivity of a hypothesis to apparen...