Sciweavers

5267 search results - page 814 / 1054
» Methods for Knowledge Based Controlling of Distributed Syste...
Sort
View
EGPGV
2004
Springer
175views Visualization» more  EGPGV 2004»
16 years 33 min ago
Interactive Parallel Visualization of Large Particle Datasets
This paper presents a new interactive parallel method for direct visualization of large particle datasets. Based on a parallel rendering cluster, a frame rate of 9 frames-per-seco...
Kevin Liang, Patricia Monger, Huge Couchman
CDC
2008
IEEE
16 years 1 months ago
Simultaneous placement and assignment for exploration in mobile backbone networks
Abstract— This paper presents new algorithms for conducting cooperative sensing using a mobile backbone network. This hierarchical sensing approach combines backbone nodes, which...
Emily M. Craparo, Jonathan P. How, Eytan Modiano
ICCV
2001
IEEE
16 years 8 months ago
Visual Servoing Invariant to Changes in Camera Intrinsic Parameters
This paper presents a new visual servoing scheme which is invariant to changes in camera intrinsic parameters. Current visual servoing techniques are based on the learning of a ref...
Ezio Malis
FROCOS
2007
Springer
15 years 10 months ago
Certification of Automated Termination Proofs
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
Evelyne Contejean, Pierre Courtieu, Julien Forest,...
CDC
2009
IEEE
217views Control Systems» more  CDC 2009»
15 years 7 months ago
Discrete invasive weed optimization algorithm: application to cooperative multiple task assignment of UAVs
This paper presents a novel discrete population based stochastic optimization algorithm inspired from weed colonization. Its performance in a discrete benchmark, timecost trade-off...
Mohsen Ramezani Ghalenoei, Hossein Hajimirsadeghi,...