Sciweavers

470 search results - page 36 / 94
» FORM facts
Sort
View
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
14 years 3 months ago
A Versatile Depalletizer of Boxes Based on Range Imagery
We present a novel box depalletizing system based on images acquired with a time of flight laser sensor mounted on the hand of the robot. Scanning the upper layer of the pallet y...
Dimitrios Katsoulas, Lothar Bergen, Lambis Tassako...
TIT
2008
84views more  TIT 2008»
13 years 8 months ago
A Note on Rate-Distortion Functions for Nonstationary Gaussian Autoregressive Processes
Source coding theorems and Shannon rate-distortion functions were studied for the discrete-time Wiener process by Berger and generalized to nonstationary Gaussian autoregressive p...
Robert M. Gray, Takeshi Hashimoto
VMCAI
2004
Springer
14 years 3 months ago
Boolean Algebra of Shape Analysis Constraints
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
Viktor Kuncak, Martin C. Rinard
CASCON
1992
163views Education» more  CASCON 1992»
13 years 11 months ago
Practical metaprogramming
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
James R. Cordy, Medha Shukla
BMCBI
2008
71views more  BMCBI 2008»
13 years 10 months ago
A tale of two symmetrical tails: Structural and functional characteristics of palindromes in proteins
Background: It has been previously shown that palindromic sequences are frequently observed in proteins. However, our knowledge about their evolutionary origin and their possible ...
Armita Sheari, Mehdi Kargar, Ali Katanforoush, Sha...