Sciweavers

821 search results - page 20 / 165
» A Model Driven Approach to the Analysis of Timeliness Proper...
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
14 years 1 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
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
14 years 2 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
ICCV
2001
IEEE
14 years 9 months ago
Statistical Context Priming for Object Detection
There is general consensus that context can be a rich source of information about an object's identity, location and scale. However, the issue of how to formalize contextual ...
Antonio B. Torralba, Pawan Sinha
CC
2012
Springer
227views System Software» more  CC 2012»
12 years 3 months ago
Programming Paradigm Driven Heap Analysis
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
Mark Marron, Ondrej Lhoták, Anindya Banerje...
SAMT
2007
Springer
136views Multimedia» more  SAMT 2007»
14 years 1 months ago
Ontology-Driven Semantic Video Analysis Using Visual Information Objects
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
Georgios Th. Papadopoulos, Vasileios Mezaris, Ioan...