Sciweavers

748 search results - page 120 / 150
» Automatic Presentations and Semigroup Constructions
Sort
View
JIRS
2008
165views more  JIRS 2008»
13 years 8 months ago
Visual Navigation for Mobile Robots: A Survey
Abstract Mobile robot vision-based navigation has been the source of countless research contributions, from the domains of both vision and control. Vision is becoming more and more...
Francisco Bonin-Font, Alberto Ortiz, Gabriel Olive...
IVC
2006
259views more  IVC 2006»
13 years 8 months ago
Object detection using spatial histogram features
In this paper, we propose an object detection approach using spatial histogram features. As spatial histograms consist of marginal distributions of an image over local patches, th...
Hongming Zhang, Wen Gao, Xilin Chen, Debin Zhao
EOR
2007
110views more  EOR 2007»
13 years 8 months ago
A hierarchical ant based clustering algorithm and its use in three real-world applications
In this paper is presented a new model for data clustering, which is inspired from the selfassembly behavior of real ants. Real ants can build complex structures by connecting the...
Hanene Azzag, Gilles Venturini, Antoine Oliver, Ch...
NJC
2006
86views more  NJC 2006»
13 years 8 months ago
Structured Formal Development in Isabelle
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
SMA
2008
ACM
286views Solid Modeling» more  SMA 2008»
13 years 8 months ago
Controlled field generation for quad-remeshing
Quadrangular remeshing of triangulated surfaces has received an increasing attention in recent years. A particularly elegant approach is the extraction of quads from the streamlin...
Oliver Schall, Rhaleb Zayer, Hans-Peter Seidel