172 search results - page 23 / 35 » Testing Reactive Probabilistic Processes |
149
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
164
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
112
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
F0 is an acoustic feature that varies largely from one speaker to another. F0 is characterized by a discontinuity in the transition between voiced and unvoiced sounds that present...
110
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
137
click to vote
BMCBI
2006
2006
A minimally invasive multiple marker approach allows highly efficient detection of meningioma tumors
15 years 2 months ago
Background: The development of effective frameworks that permit an accurate diagnosis of tumors, especially in their early stages, remains a grand challenge in the field of bioinf...