2502 search results - page 264 / 501 » Using probabilistic model checking in systems biology |
166
click to vote
BIBM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
173
click to vote
DAGM
2010
Springer
15 years 4 months ago
2010
Springer
We present a novel method for 3D reconstruction of urban scenes extending a recently introduced heightmap model. Our model has several advantages for 3D modeling of urban scenes: i...
154
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
159
click to vote
MOBISYS
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we present a trace-driven framework capable of building realistic mobility models for the simulation studies of mobile systems. With the goal of realism, this framew...