Sciweavers

13784 search results - page 420 / 2757
» On Computing Functions with Uncertainty
Sort
View
ICDAR
2007
IEEE
16 years 1 months ago
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation
We model on-line ink traces for a set of 219 symbols to “best fit” low-degree polynomial series. Using a collection of mathematical writing samples, we find that in many cas...
Bruce W. Char, Stephen M. Watt
GECCO
2005
Springer
128views Optimization» more  GECCO 2005»
16 years 9 days ago
Fitness-based neighbor selection for multimodal function optimization
We propose a selection scheme called Fitness-based Neighbor Selection (FNS) for multimodal optimization. The FNS is aimed for ill-scaled and locally multimodal domain, both found ...
Shin Ando, Shigenobu Kobayashi
ERSHOV
2003
Springer
16 years 4 hour ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
CPHYSICS
2006
124views more  CPHYSICS 2006»
15 years 6 months ago
Collision-free spatial hash functions for structural analysis of billion-vertex chemical bond networks
State-of-the-art molecular dynamics (MD) simulations generate massive datasets involving billion-vertex chemical bond networks, which makes data mining based on graph algorithms s...
Cheng Zhang, Bhupesh Bansal, Paulo S. Branicio, Ra...
158
Voted
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 6 months ago
Functional Testing in the Focal Environment
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
Matthieu Carlier, Catherine Dubois