Sciweavers

5128 search results - page 90 / 1026
» When Abstraction Fails
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 4 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
ECOOP
2008
Springer
14 years 11 months ago
A Uniform Transactional Execution Environment for Java
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, ...
SE
2010
14 years 11 months ago
Multi-Level Test Models for Embedded Systems
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...
Abel Marrero Pérez, Stefan Kaiser
CVPR
2006
IEEE
15 years 12 months ago
Measurement integration under inconsistency for robust tracking
The solutions to many vision problems involve integrating measurements from multiple sources. Most existing methods rely on a hidden assumption, i.e., these measurements are consi...
Gang Hua, Ying Wu
ECCV
2008
Springer
15 years 11 months ago
Learning to Recognize Activities from the Wrong View Point
Appearance features are good at discriminating activities in a fixed view, but behave poorly when aspect is changed. We describe a method to build features that are highly stable u...
Ali Farhadi, Mostafa Kamali Tabrizi