4814 search results - page 541 / 963 » Combining abstract interpreters |
187
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In social network analysis, a k-clique is a relaxed clique, i.e., a kclique is a quasi-complete sub-graph. A k-clique in a graph is a sub-graph where the distance between...
141
Voted
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we study colored nonogram solving using Integer Linear Programming. Our approach generalizes the one used by Robert A. Bosch which was developed for black a...
155
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce the rank-pairing heap, a heap (priority queue) implementation that combines the asymptotic efficiency of Fibonacci heaps with much of the simplicity of pair...
180
click to vote
ICVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract We present a new system for 3D head tracking and pose estimation in low-resolution, multi-view environments. Our approach consists of a joint particle filter scheme, that...
186
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This work aims to improve an existing time series forecasting algorithm –LBF– by the application of frequent episodes techniques as a complementary step to the model....