2502 search results - page 265 / 501 » Using probabilistic model checking in systems biology |
191
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
We present a hybrid method to turn off-the-shelf information retrieval (IR) systems into future event predictors. Given a query, a time series model is trained on the publication...
177
Voted
ICWSM
2009
15 years 4 months ago
2009
The advent of social tagging systems has enabled a new community-based view of the Web in which objects like images, videos, and Web pages are annotated by thousands of users. Und...
178
click to vote
CONCUR
2004
Springer
16 years 10 hour ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
180
click to vote
DATE
2005
IEEE
16 years 7 days ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
184
click to vote
MAM
2008
15 years 6 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...