Sciweavers

3256 search results - page 545 / 652
» Learning Linear Transformations
Sort
View
ICRA
2006
IEEE
119views Robotics» more  ICRA 2006»
15 years 8 months ago
Outdoor SLAM using Visual Appearance and Laser Ranging
— This paper describes a 3D SLAM system using information from an actuated laser scanner and camera installed on a mobile robot.The laser samples the local geometry of the enviro...
Paul M. Newman, David M. Cole, Kin Leong Ho
136
Voted
CVPR
2005
IEEE
15 years 8 months ago
A Measure of Deformability of Shapes, with Applications to Human Motion Analysis
In this paper we develop a theory for characterizing how deformable a shape is. We define a term called “deformability index” for shapes. The deformability index is computed ...
Amit K. Roy Chowdhury
PLDI
2003
ACM
15 years 7 months ago
A comparison of empirical and model-driven optimization
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibuls...
103
Voted
ATAL
2003
Springer
15 years 7 months ago
Model checking agentspeak
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
Rafael H. Bordini, Michael Fisher, Carmen Pardavil...
179
Voted
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
15 years 6 months ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...