Sciweavers

5510 search results - page 359 / 1102
» Mathematics
Sort
View
SAC
2006
ACM
15 years 6 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
IJSM
2007
85views more  IJSM 2007»
15 years 6 months ago
Constraint Modeling for Curves and Surfaces in CAGD: a Survey
Computer-Aided Geometric Design modelers are now based on powerful mathematical curve and surface models, but there is still a considerable need for efficient tools to handle, ana...
Vincent Cheutet, Marc Daniel, Stefanie Hahmann, Ra...
IJSNET
2007
95views more  IJSNET 2007»
15 years 6 months ago
On extracting consistent graphs in wireless sensor networks
: Robustness and security of services like localisation, routing and time synchronisation in Wireless Sensor Networks (WSNs) have been critical issues. Efficient mathematical (gra...
Murtuza Jadliwala, Qi Duan, Jinhui Xu, Shambhu J. ...
AROBOTS
2005
88views more  AROBOTS 2005»
15 years 6 months ago
Head Movements for Depth Perception: Praying Mantis versus Pigeon
Abstract. Inspired by the abilities of both the praying mantis and the pigeon to judge distance by use of motionbased visually mediated odometry, we create miniature models for dep...
Alfred M. Bruckstein, Robert J. Holt, Igor Katsman...
TEC
2008
149views more  TEC 2008»
15 years 6 months ago
Biogeography-Based Optimization
Abstract--We propose a novel variation to biogeographybased optimization (BBO), which is an evolutionary algorithm (EA) developed for global optimization. The new algorithm employs...
Dan Simon