819 search results - page 44 / 164 » Using Assumptions to Distribute CTL Model Checking |
107
Voted
NIPS
2008
15 years 2 months ago
2008
Ranking is at the heart of many information retrieval applications. Unlike standard regression or classification in which we predict outputs independently, in ranking we are inter...
126
Voted
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— For the multi-robot coverage problem deterministic deliberative as well as probabilistic approaches have been proposed. Whereas deterministic approaches usually provide...
138
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
The bag-of-words (BoW) model treats images as an unordered set of local regions and represents them by visual word histograms. Implicitly, regions are assumed to be identically an...
153
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
112
Voted
ICASSP
2010
IEEE
14 years 7 months ago
2010
IEEE
An operational framework is developed for testing stationarity relatively to an observation scale. The proposed method makes use of a family of stationary surrogates for defining ...