Sciweavers

4488 search results - page 220 / 898
» Properties of NP-Complete Sets
Sort
View
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 10 months ago
Exact Grading of Multiple Path Delay Faults
The problem of fault grading for multiple path delay faults is studied and a method of obtaining the exact coverage is presented. The faults covered are represented and manipulate...
Saravanan Padmanaban, Spyros Tragoudas
CONCUR
2001
Springer
15 years 10 months ago
Probabilistic Information Flow in a Process Algebra
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
Alessandro Aldini
ECSQARU
2001
Springer
15 years 10 months ago
General Preferential Entailments as Circumscriptions
Abstract A (general) preferential entailment is defined by a “preference relation” among “states”. States can be either interpretations or sets of interpretations, or “c...
Yves Moinard
COCO
1998
Springer
95views Algorithms» more  COCO 1998»
15 years 10 months ago
Resource-Bounded Measure
We present a notion of resource-bounded measure for P and other subexponential-time classes. This generalization is based on Lutz's notion of measure, but overcomes the limit...
Jack H. Lutz
ERCIMDL
1997
Springer
130views Education» more  ERCIMDL 1997»
15 years 10 months ago
Modelling the Retrieval of Structured Documents Containing Texts and Images
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...