2502 search results - page 386 / 501 » Using probabilistic model checking in systems biology |
140
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: The Generalized Hidden Markov Model (GHMM) has proven a useful framework for the task of computational gene prediction in eukaryotic genomes, due to its flexibility an...
139
click to vote
SECURWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
149
click to vote
ECRTS
2004
IEEE
15 years 8 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
153
click to vote
CHI
1995
ACM
15 years 8 months ago
1995
ACM
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
132
click to vote
NIPS
2007
15 years 5 months ago
2007
Current object recognition systems can only recognize a limited number of object categories; scaling up to many categories is the next challenge. We seek to build a system to reco...