2502 search results - page 415 / 501 » Using probabilistic model checking in systems biology |
132
click to vote
IDEAS
2000
IEEE
15 years 8 months ago
2000
IEEE
Most operations of the relational algebra or SQL - like projection with duplicate elimination, join, ordering, group by and aggregations - are efficiently processed using a sorted...
144
click to vote
WECWIS
1999
IEEE
15 years 8 months ago
1999
IEEE
Analysis of network and application pegormance is traditionally based on mathematical models derived from first principles. Such models are usually complex, diflcult to use, and d...
131
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
133
click to vote
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
We study a new task, proactive information retrieval by combining implicit relevance feedback and collaborative filtering. We have constructed a controlled experimental setting, ...
179
click to vote
TIM
2010
14 years 10 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...