4341 search results - page 591 / 869 » Quantitative Model checking |
161
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...
207
click to vote
ISBRA
2010
Springer
15 years 5 months ago
2010
Springer
A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the B...
188
click to vote
GAMESEC
2010
15 years 4 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
177
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper proposes an approach to mixed environment training of manual tasks requiring concurrent use of psychomotor and cognitive skills. To train concurrent use of both skill s...
175
click to vote
IPCCC
2007
IEEE
16 years 28 days ago
2007
IEEE
Rapidly-spreading malicious software is an important threat on today’s computer networks. Most solutions that have been proposed to counter this threat are based on our ability ...