Sciweavers

15421 search results - page 2989 / 3085
» Dependability
Sort
View
150
Voted
IJRR
2000
117views more  IJRR 2000»
15 years 4 months ago
Singularity-Consistent Parameterization of Robot Motion and Control
The inverse kinematics problem is formulated as a parameterized autonomous dynamical system problem, and respective analysis is carried out. It is shown that a singular point of w...
Dragomir N. Nenchev, Yuichi Tsumaki, Masaru Uchiya...
236
Voted
ENTCS
2002
166views more  ENTCS 2002»
15 years 4 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
135
Voted
ET
2002
122views more  ET 2002»
15 years 4 months ago
Using At-Speed BIST to Test LVDS Serializer/Deserializer Function
LVDS is the acronym for Low-Voltage-DifferentialSignaling and is described in both the ANSI/TIA/EIA644 and IEEE 1596.3 standards. High performance yet Low Power and EMI have made ...
Magnus Eckersand, Fredrik Franzon, Ken Filliter
139
Voted
ECOI
2007
101views more  ECOI 2007»
15 years 4 months ago
Reasoning about taxonomies in first-order logic
Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For examp...
David Thau, Bertram Ludäscher
JCNS
2000
78views more  JCNS 2000»
15 years 4 months ago
Computational Consequences of Temporally Asymmetric Learning Rules: II. Sensory Image Cancellation
Abstract. The electrosensory lateral line lobe (ELL) of mormyridelectric sh is a cerebellum-likestructure that receives primarya erent input from electroreceptors in the skin. Purk...
Patrick D. Roberts, Curtis C. Bell
« Prev « First page 2989 / 3085 Last » Next »