Sciweavers

886 search results - page 114 / 178
» Experiences Using Lightweight Formal Methods for Requirement...
Sort
View
CVPR
2008
IEEE
16 years 2 days ago
Simultaneous super-resolution and 3D video using graph-cuts
This paper presents a new method to increase the quality of 3D video, a new media developed to represent 3D objects in motion. This representation is obtained from multi-view reco...
Tony Tung, Shohei Nobuhara, Takashi Matsuyama
CRV
2005
IEEE
208views Robotics» more  CRV 2005»
15 years 3 months ago
Topology Inference for a Vision-Based Sensor Network
In this paper we describe a technique to infer the topology and connectivity information of a network of cameras based on observed motion in the environment. While the technique c...
Dimitri Marinakis, Gregory Dudek
ICRA
1995
IEEE
79views Robotics» more  ICRA 1995»
15 years 1 months ago
Learning to predict Resistive Forces During Robotic Excavation
— Few robot tasks require as forceful an interaction with the world as excavation. In order to effectively plan its actions, our robot excavator requires a method that allows it ...
Sanjiv Singh
KDD
2007
ACM
159views Data Mining» more  KDD 2007»
15 years 10 months ago
Domain-constrained semi-supervised mining of tracking models in sensor networks
Accurate localization of mobile objects is a major research problem in sensor networks and an important data mining application. Specifically, the localization problem is to deter...
Rong Pan, Junhui Zhao, Vincent Wenchen Zheng, Jeff...
CIKM
2008
Springer
15 years 1 days ago
Modeling LSH for performance tuning
Although Locality-Sensitive Hashing (LSH) is a promising approach to similarity search in high-dimensional spaces, it has not been considered practical partly because its search q...
Wei Dong, Zhe Wang, William Josephson, Moses Chari...