882 search results - page 46 / 177 » Analysis of Composite Corridors |
FASE
2011
Springer
13 years 5 days ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
BMCBI
2004
13 years 8 months ago
2004
Background: Transposable elements (TE) are mobile genetic entities present in nearly all genomes. Previous work has shown that TEs tend to have a different nucleotide composition ...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
Aggregate measures summarizing subsets of data are valuable in exploratory analysis and decision support, especially when dependent aggregations can be easily specified and compute...
ICSOC
2004
Springer
14 years 2 months ago
2004
Springer
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
CAIP
2003
Springer
14 years 1 months ago
2003
Springer
Video surveillance systems seek to automatically identify events of interest in a variety of situations. Extracting a moving object from background is the most important step of t...