Sciweavers

8446 search results - page 253 / 1690
» A Process Compensation Language
Sort
View
DFT
2005
IEEE
126views VLSI» more  DFT 2005»
16 years 6 days ago
Analysis and Testing for Error Tolerant Motion Estimation
We propose a novel system-level error tolerance approach specifically targeted for multimedia compression algorithms. In particular we focus on the motion estimation process perf...
Hyukjune Chung, Antonio Ortega
ICRA
2002
IEEE
148views Robotics» more  ICRA 2002»
15 years 11 months ago
Perception Errors in Vision Guided Walking: Analysis, Modeling, and Filtering
This article deals with specific aspects concerning the visual perception process of a humanoid walking machine. An active vision system provides the information about the enviro...
Oliver Lorch, Javier F. Seara, Klaus H. Strobl, Uw...
FLAIRS
2003
15 years 8 months ago
Utilizing Validation Experience for System Validation
This paper adopts the idea of using knowledge gained by various validation sessions over time with a validation technology developed previously. The work is designed to reduce the...
Rainer Knauf, Avelino J. Gonzalez, Setsuo Tsuruta
LISP
2008
101views more  LISP 2008»
15 years 6 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
ISMIS
2005
Springer
16 years 3 days ago
A Query Expression and Processing Technique for an XML Search Engine
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
Wol-Young Lee, Hwan-Seung Yong