6042 search results - page 134 / 1209 » Repeated Observation Models |
154
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
142
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Recent studies have shown that various models can explain the emergence of complex networks, such as scale-free and small-world networks. This paper presents a different model to...
127
click to vote
COCOON
2010
Springer
15 years 9 months ago
2010
Springer
The parallel repetition theorem states that for any two provers one round game with value at most 1 − (for < 1/2), the value of the game repeated n times in parallel is at mo...
143
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
: Data Provenance refers to the lineage of data including its origin, key events that occur over the course of its lifecycle, and other details associated with data creation, proce...
144
click to vote
IJCV
2006
15 years 4 months ago
2006
We present a novel Object Recognition approach based on affine invariant regions. It actively counters the problems related to the limited repeatability of the region detectors, an...