Sciweavers

8431 search results - page 1464 / 1687
» Algorithmically Independent Sequences
Sort
View
IROS
2008
IEEE
126views Robotics» more  IROS 2008»
16 years 27 days ago
An optical external localization system and applications to indoor tracking
— Precise robot positioning is important for many applications in indoor environments. Current solutions to the indoor localization problem are either both unreliable and inaccur...
Srujan Linga, Binayak Roy, H. Harry Asada, Daniela...
ISBI
2008
IEEE
16 years 27 days ago
An optimal-path approach for neural circuit reconstruction
Neurobiologists are collecting large amounts of electron microscopy image data to gain a better understanding of neuron organization in the central nervous system. Image analysis ...
Elizabeth Jurrus, Ross T. Whitaker, Bryan W. Jones...
ISCAS
2008
IEEE
197views Hardware» more  ISCAS 2008»
16 years 27 days ago
Human activity recognition for video surveillance
—This paper presents a novel approach for automatic recognition of human activities from video sequences. We first group features with high correlations into Category Feature Vec...
Weiyao Lin, Ming-Ting Sun, Radha Poovendran, Zheng...
ISQED
2008
IEEE
101views Hardware» more  ISQED 2008»
16 years 27 days ago
Projection-Based Piecewise-Linear Response Surface Modeling for Strongly Nonlinear VLSI Performance Variations
Large-scale process fluctuations (particularly random device mismatches) at nanoscale technologies bring about highdimensional strongly nonlinear performance variations that canno...
Xin Li, Yu Cao
KBSE
2008
IEEE
16 years 27 days ago
The Consistency of Web Conversations
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
Jeffrey Fischer, Rupak Majumdar, Francesco Sorrent...
« Prev « First page 1464 / 1687 Last » Next »