828 search results - page 64 / 166 » Modularity for Timed and Hybrid Systems |
182
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
175
click to vote
TPHOL
2007
IEEE
16 years 9 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
146
click to vote
LREC
2008
15 years 7 months ago
2008
This paper describes experimental use of the multi-agent architecture to integrate Natural Language and Information Systems research and teaching, by casting a group of students a...
181
click to vote
SIAMCO
2008
15 years 6 months ago
2008
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...
176
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...