Sciweavers

5583 search results - page 400 / 1117
» Application of Micro-Genetic Algorithm for Task Based Comput...
Sort
View
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
16 years 1 months ago
Motion Planning and Trajectory Tracking on 2-D Manifolds embedded in 3-D Workspaces
— In this paper we present a methodology that drives and stabilizes a robotic agent moving in a three dimensional environment, to a 2-dimensional manifold embedded in the workspa...
Xanthi Papageorgiou, Savvas G. Loizou, Kostas J. K...
214
Voted
ACHI
2009
IEEE
16 years 2 months ago
Ground Truth Verification Tool (GTVT) for Video Surveillance Systems
— As cameras and storage devices have become cheaper, the number of video surveillance systems has also increased. Video surveillance was (and mostly is) done by human operators ...
Amol Ambardekar, Mircea Nicolescu, Sergiu Dascalu
ESA
1998
Springer
162views Algorithms» more  ESA 1998»
15 years 11 months ago
External Memory Algorithms
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
Jeffrey Scott Vitter
SIGMOD
2011
ACM
241views Database» more  SIGMOD 2011»
14 years 10 months ago
Neighborhood based fast graph search in large networks
Complex social and information network search becomes important with a variety of applications. In the core of these applications, lies a common and critical problem: Given a labe...
Arijit Khan, Nan Li, Xifeng Yan, Ziyu Guan, Supriy...
VMCAI
2007
Springer
16 years 1 months ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans