819 search results - page 103 / 164 » Using Assumptions to Distribute CTL Model Checking |
134
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
176
Voted
SDM
2011
SIAM
14 years 7 months ago
2011
SIAM
Multi-instance (MI) learning is a variant of supervised learning where labeled examples consist of bags (i.e. multi-sets) of feature vectors instead of just a single feature vecto...
121
click to vote
PE
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...
159
click to vote
ACL
2009
15 years 2 months ago
2009
Recent advances in functional Magnetic Resonance Imaging (fMRI) offer a significant new approach to studying semantic representations in humans by making it possible to directly o...
145
click to vote
CP
1998
Springer
15 years 9 months ago
1998
Springer
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...