Sciweavers

84 search results - page 8 / 17
» Voting by Grouping Dependent Parts
Sort
View
ICRA
2003
IEEE
169views Robotics» more  ICRA 2003»
14 years 26 days ago
Robust model-based 3D object recognition by combining feature matching with tracking
− We propose a vision based 3D object recognition and tracking system, which provides high level scene descriptions such as object identification and 3D pose information. The sys...
Sungho Kim, In-So Kweon, Incheol Kim
CORR
2008
Springer
141views Education» more  CORR 2008»
13 years 7 months ago
Distributed Source Coding using Abelian Group Codes
In this work, we consider a distributed source coding problem with a joint distortion criterion depending on the sources and the reconstruction. This includes as a special case the...
Dinesh Krithivasan, S. Sandeep Pradhan
ISESE
2003
IEEE
14 years 26 days ago
An Empirical Study of Web-Based Inspection Meetings
Software inspections are a software engineering “best practice” for defect detection and rework reduction. In this paper, we describe an empirical evaluation with using a tool...
Filippo Lanubile, Teresa Mallardo
WWW
2008
ACM
14 years 8 months ago
Trust-based recommendation systems: an axiomatic approach
High-quality, personalized recommendations are a key feature in many online systems. Since these systems often have explicit knowledge of social network structures, the recommenda...
Reid Andersen, Christian Borgs, Jennifer T. Chayes...
JSC
2002
84views more  JSC 2002»
13 years 7 months ago
A Constructive Algebraic Hierarchy in Coq
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan ...