1054 search results - page 187 / 211 » Abstract Regular Model Checking |
155
click to vote
WAW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the relation between PageRank and other parameters of information networks such as in-degree, out-degree, and the fraction of dangling nodes. We model this relat...
136
click to vote
LOCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper investigates the efficiency of in-door next location prediction by comparing several prediction methods. The scenario concerns people in an office building vis...
150
click to vote
VLSM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we propose a novel technique to address motion estimation and tracking. Such technique represents the motion field using a regular grid of thin-plate spli...
140
click to vote
IDEAL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
143
click to vote
VECPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...