Sciweavers

963 search results - page 124 / 193
» Rethinking Algorithm Design and Development in Speech Proces...
Sort
View
SAFECOMP
2010
Springer
13 years 6 months ago
Experiences in Applying Formal Verification in Robotics
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Dennis Walter, Holger Täubig, Christoph L&uum...
SIGMOD
2008
ACM
129views Database» more  SIGMOD 2008»
14 years 9 months ago
An xml index advisor for DB2
XML database systems are expected to handle increasingly complex queries over increasingly large and highly structured XML databases. An important problem that needs to be solved ...
Iman Elghandour, Ashraf Aboulnaga, Daniel C. Zilio...
FPGA
2009
ACM
233views FPGA» more  FPGA 2009»
14 years 3 months ago
FPCNA: a field programmable carbon nanotube array
Carbon nanotubes (CNTs), with their unique electronic properties, are promising materials for building nanoscale circuits. In this paper, we present a new CNT-based FPGA architect...
Chen Dong, Scott Chilstedt, Deming Chen
ICRA
2006
IEEE
114views Robotics» more  ICRA 2006»
14 years 2 months ago
Blades: a New Class of Geometric Primitives for Feeding 3D Parts on Vibratory Tracks
Abstract— The vibratory bowl feeder remains the most common approach to the automated feeding (orienting) of industrial parts. We study the algorithmic design of devices on the b...
Onno C. Goemans, Kenneth Y. Goldberg, A. Frank van...
ICIP
2007
IEEE
14 years 10 months ago
Enable Efficient Compound Image Compression in H.264/AVC Intra Coding
This paper presents an efficient compound image compression approach based on H.264/AVC intra coding. The text blocks are distinguished from the picture blocks and compressed with...
Wenpeng Ding, Yan Lu, Feng Wu