Sciweavers

531 search results - page 15 / 107
» Integrative Levels of Program Comprehension
Sort
View
FORTE
2008
13 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
MBEC
2010
13 years 2 months ago
Cell sheet integrity and nanomechanical breakdown during programmed cell death
Apoptosis is a critical physiological pathway required for the normal functioning, homeostasis, and development of many organisms. This process is highly regulated at the biochemic...
Jiashan Wang, Andrew E. Pelling
CVPR
2007
IEEE
14 years 1 months ago
Visual Event Recognition in News Video using Kernel Methods with Multi-Level Temporal Alignment
In this work, we systematically study the problem of visual event recognition in unconstrained news video sequences. We adopt the discriminative kernel-based method for which vide...
Dong Xu, Shih-Fu Chang
ASPLOS
2010
ACM
14 years 2 months ago
Addressing shared resource contention in multicore processors via scheduling
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...
Sergey Zhuravlev, Sergey Blagodurov, Alexandra Fed...
IJDAR
2000
60views more  IJDAR 2000»
13 years 7 months ago
Integrated text and line-art extraction from a topographic map
Our proposed approach to text and line-art extraction requires accurately locating a text-string box and identifying external line vectors incident on the box. The results of extra...
Luyang Li, George Nagy, Ashok Samal, Sharad C. Set...