4814 search results - page 596 / 963 » Combining abstract interpreters |
176
click to vote
WABI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Comparing gene orders in completely sequenced genomes is a standard approach to locate clusters of functionally associated genes. Often, gene orders are modeled as permut...
171
Voted
WIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...
158
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
167
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
202
click to vote
FGR
2000
IEEE
15 years 11 months ago
2000
IEEE
A computer vision system for tracking multiple people in relatively unconstrained environments is described. Trackerformed at three levels of abstraction: regions, people and grou...