Sciweavers

9989 search results - page 39 / 1998
» A CLP Approach to Modelling Systems
Sort
View
139
Voted
BMCBI
2007
172views more  BMCBI 2007»
15 years 3 months ago
Bayesian approaches to reverse engineer cellular systems: a simulation study on nonlinear Gaussian networks
Background: Reverse engineering cellular networks is currently one of the most challenging problems in systems biology. Dynamic Bayesian networks (DBNs) seem to be particularly su...
Fulvia Ferrazzi, Paola Sebastiani, Marco Ramoni, R...
128
Voted
CONCUR
2004
Springer
15 years 7 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
142
Voted
CIVR
2007
Springer
241views Image Analysis» more  CIVR 2007»
15 years 10 months ago
A robust scene recognition system for baseball broadcast using data-driven approach
We propose a robust scene recognition system for baseball broadcast videos. This system is based on the data-driven approach which has been successful in continuous speech recogni...
Ryoichi Ando, Koichi Shinoda, Sadaoki Furui, Takah...
124
Voted
ECIS
2004
15 years 5 months ago
Activity Based generation of requirements for web-based information systems: the SSM/ICDT approach
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
Mary Meldrum, Jeremy Rose
131
Voted
FATES
2004
Springer
15 years 9 months ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano