Sciweavers

5128 search results - page 90 / 1026
» When Abstraction Fails
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 7 days 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
15 years 8 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
15 years 7 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
16 years 8 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
16 years 8 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