2502 search results - page 251 / 501 » Using probabilistic model checking in systems biology |
179
click to vote
TASLP
2010
15 years 5 months ago
2010
Abstract—This paper describes a system, referred to as modelbased expectation-maximization source separation and localization (MESSL), for separating and localizing multiple soun...
176
click to vote
IJCAI
2003
15 years 8 months ago
2003
Hyperlink analysis is a successful approach to define algorithms which compute the relevance of a document on the basis of the citation graph. In this paper we propose a technique...
155
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Mammalian brains consisting of up to 1011 neurons belong to group of the most complex systems in the Universe. For years they have been one of the hardest objects of simulation. Th...
177
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
185
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...