2502 search results - page 462 / 501 » Using probabilistic model checking in systems biology |
133
click to vote
BC
2004
15 years 5 months ago
2004
Abstract. This study aims to recover transient, trialvarying evoked potentials (EPs), in particular the movement-related potentials (MRPs), embedded within the background cerebral ...
157
click to vote
3DGIS
2006
Springer
15 years 11 months ago
2006
Springer
Database management systems (DBMS) have significantly changed in the last several years. From a system dealing with management of administrative data they have involved to a spati...
137
click to vote
ASM
2004
ASM
15 years 10 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
149
Voted
FTRTFT
1998
Springer
15 years 9 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
159
Voted
WSCG
2004
15 years 6 months ago
2004
We present an accurate, interactive silhouette extraction mechanism for texture-based volume rendering. Compared to previous approaches, our system guarantees silhouettes of a use...