3820 search results - page 462 / 764 » Bounded Model Debugging |
126
Voted
MVA
1990
15 years 4 months ago
1990
This paper proposes a novel representation of the free space of mobile robot by distinct, non-overlapping regions called Edge Visibility Regions (EVRs). An algorithm to partition ...
151
Voted
AAECC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present new performance models and a new, more compact data structure for cache blocking when applied to the sparse matrixvector multiply (SpM×V) operation, y ← y +...
120
Voted
DATAMINE
2010
15 years 3 months ago
2010
Assessing the quality of discovered results is an important open problem in data mining. Such assessment is particularly vital when mining itemsets, since commonly many of the disc...
154
Voted
JAIR
2008
15 years 3 months ago
2008
Probabilistic planning problems are typically modeled as a Markov Decision Process (MDP). MDPs, while an otherwise expressive model, allow only for sequential, non-durative action...
138
Voted
TON
2008
15 years 3 months ago
2008
By allowing end hosts to make independent routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes...