Sciweavers

1611 search results - page 283 / 323
» Stochastic Analysis of Dynamic Processes
Sort
View
BTW
2007
Springer
152views Database» more  BTW 2007»
15 years 4 months ago
Armada: a Reference Model for an Evolving Database System
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...
Fabian Groffen, Martin L. Kersten, Stefan Manegold
SCIA
2007
Springer
124views Image Analysis» more  SCIA 2007»
15 years 3 months ago
Novel Stereoscopic View Generation by Image-Based Rendering Coordinated with Depth Information
Abstract. This paper describes a method of stereoscopic view generation by image-based rendering in wide outdoor environments. The stereoscopic view can be generated from an omnidi...
Maiya Hori, Masayuki Kanbara, Naokazu Yokoya
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 3 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
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
15 years 3 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
SIPS
2006
IEEE
15 years 3 months ago
Configuration and Representation of Large-Scale Dataflow Graphs using the Dataflow Interchange Format
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
Ivan Corretjer, Chia-Jui Hsu, Shuvra S. Bhattachar...