2502 search results - page 314 / 501 » Using probabilistic model checking in systems biology |
172
click to vote
SFM
2007
Springer
16 years 21 days ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
188
click to vote
CAV
2004
Springer
16 years 7 hour ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
172
click to vote
TVLSI
1998
15 years 6 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
166
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a novel method for quickly filtering range data points to make object recognition in large 3D data sets feasible. The general approach, called "3D cueing,...
173
click to vote
AAAI
2006
15 years 8 months ago
2006
The open nature of collaborative recommender systems allows attackers who inject biased profile data to have a significant impact on the recommendations produced. Standard memory-...