Sciweavers

2679 search results - page 209 / 536
» Experimental Models for Validating Technology
Sort
View
VLDB
2001
ACM
110views Database» more  VLDB 2001»
15 years 8 months ago
Comparing Hybrid Peer-to-Peer Systems
“Peer-to-peer” systems like Napster and Gnutella have recently become popular for sharing information. In this paper, we study the relevant issues and tradeoffs in designing a...
Beverly Yang, Hector Garcia-Molina
ICSE
1997
IEEE-ACM
15 years 7 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...
AROBOTS
2005
114views more  AROBOTS 2005»
15 years 4 months ago
Visually Guided Cooperative Robot Actions Based on Information Quality
In field environments it is not usually possible to provide robots in advance with valid geometric models of its environment and task element locations. The robot or robot teams ne...
Vivek A. Sujan, Steven Dubowsky
CVPR
2008
IEEE
16 years 6 months ago
Photometric stereo with non-parametric and spatially-varying reflectance
We present a method for simultaneously recovering shape and spatially varying reflectance of a surface from photometric stereo images. The distinguishing feature of our approach i...
Neil G. Alldrin, Todd Zickler, David J. Kriegman
ICIP
2005
IEEE
16 years 5 months ago
A man-machine communication system based on the visual analysis of dynamic gestures
A perceptual human-machine interface based on visual appearence of hand movements is presented. Gestures are defined as the temporal evolution of 3D poses the of user's hand....
Giulia Gastaldi, Alessandro Pareschi, Silvio P. Sa...