1156 search results - page 51 / 232 » Compositional Methods for Information-Hiding |
GREC
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a solution for online composite sketchy shape recognition. The kernel of the strategy treats both stroke segmentation and sketch recognition as an optimization ...
CAV
2001
Springer
13 years 11 months ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
BMCBI
2006
13 years 7 months ago
2006
Background: Knowing the submitochondria localization of a mitochondria protein is an important step to understand its function. We develop a method which is based on an extended v...
DEDS
2007
13 years 7 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
CAV
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...