Sciweavers

2086 search results - page 266 / 418
» Mathematical Theory Exploration
Sort
View
FCCM
2007
IEEE
107views VLSI» more  FCCM 2007»
14 years 4 months ago
Optimizing Logarithmic Arithmetic on FPGAs
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
Haohuan Fu, Oskar Mencer, Wayne Luk
ICDIM
2007
IEEE
14 years 4 months ago
Equivalence detection using parse-tree normalization for math search
In recent years, efforts have begun to put math contents on the Web. As for other types of Web information, search capabilities should be provided to enable users to find what the...
Mohammed Shatnawi, Abdou Youssef
ICRA
2007
IEEE
132views Robotics» more  ICRA 2007»
14 years 4 months ago
Heterogeneous Leg Stiffness and Roll in Dynamic Running
— Legged robots are by nature strongly non-linear, high-dimensional systems whose full complexity permits neither tractable mathematical analysis nor comprehensive numerical stud...
Samuel Burden, Jonathan Clark, Joel Weingarten, Ha...
SP
2007
IEEE
110views Security Privacy» more  SP 2007»
14 years 4 months ago
A Systematic Approach to Uncover Security Flaws in GUI Logic
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
José Meseguer, Ralf Sasse, Helen J. Wang, Y...
OZCHI
2006
ACM
14 years 4 months ago
Applying reach in direct manipulation user interfaces
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...
Aaron Toney, Bruce H. Thomas