9067 search results - page 1612 / 1814 » Adaptive Model Checking |
168
Voted
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper’s intention is to present a new approach for decomposing motion trajectories. The proposed algorithm is based on nonnegative matrix factorization, which is a...
198
Voted
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...
166
Voted
ICIAR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Structured light stereoscopic imaging offers an efficient and affordable solution to 3D modeling of objects. The majority of structured light patterns that have been prop...
191
Voted
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Given a Cylindrical Algebraic Decomposition of an implicit algebraic curve, visualizing distinct curve arcs is not as easy as it stands because, despite the absence of singularitie...
224
Voted
JSSPP
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we address the problem of finding workload exchange policies for decentralized Computational Grids using an Evolutionary Fuzzy System. To this end, we establish a n...