Sciweavers

6704 search results - page 240 / 1341
» Testing Scenario-Based Models
Sort
View
TCBB
2008
137views more  TCBB 2008»
15 years 6 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
CCA
2009
Springer
16 years 1 months ago
Relativizations of the P =? DNP Question for the BSS Model
We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x ≥ 0. The oracle machines can also check whethe...
Christine Gaßner
QUACON
2009
Springer
16 years 1 months ago
Presentation and Evaluation of Inconsistencies in Multiply Represented 3D Building Models
Open architectures demand for a federation of data from different context providers, which nearly always will be inconsistent to a certain degree. We present an approach for the ev...
Michael Peter
ICST
2008
IEEE
16 years 1 months ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
IWPT
2001
15 years 8 months ago
Probabilistic Modelling of Island-Driven Parsing
Two methods for stochastically modelling bidirectionality in chart parsing are presented. A probabilistic islanddriven parser which uses such models (either isolated or in combina...
Alicia Ageno, Horacio Rodríguez