2702 search results - page 212 / 541 » Practically Applicable Formal Methods |
FMSD
2006
14 years 11 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
RSP
2008
IEEE
15 years 5 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
ICRA
1998
IEEE
15 years 3 months ago
1998
IEEE
: Precise sensorimotor mappings between various motor, ensor, and abstract physical spaces are the basis for many robotics tasks. Their cheap construction is a challenge for adapti...
BMCBI
2007
14 years 11 months ago
2007
Background: Maximum parsimony phylogenetic tree reconstruction from genetic variation data is a fundamental problem in computational genetics with many practical applications in p...