Sciweavers

6368 search results - page 998 / 1274
» Modeling Problem Transformations based on Data Complexity
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 6 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
ISCAS
1999
IEEE
106views Hardware» more  ISCAS 1999»
15 years 11 months ago
Adaptive minimax filtering via recursive optimal quadratic approximations
This paper considers the minimax filtering problem in which the supremum norm of weighted error sequence is minimized. It is shown that the minimax solution is also the optimal Se...
S. Gollamudi, Yih-Fang Huang
DEFORM
2000
15 years 8 months ago
Parametrization and Range of Motion of the Ball-and-Socket Joint
The ball-and-socket joint model is used to represent articulations with three rotational degrees of freedom (DOF), such as the human shoulder and the hip. The goal of this paper i...
Paolo Baerlocher, Ronan Boulic
FUN
2007
Springer
120views Algorithms» more  FUN 2007»
15 years 10 months ago
Drawing Borders Efficiently
A spreadsheet, especially MS Excel, is probably one of the most popular software applications for personal-computer users and gives us convenient and user-friendly tools for drawin...
Kazuo Iwama, Eiji Miyano, Hirotaka Ono
161
Voted
GECCO
2006
Springer
179views Optimization» more  GECCO 2006»
15 years 10 months ago
Parisian evolution with honeybees for three-dimensional reconstruction
This paper introduces a novel analogy with the way in which honeybee colonies operate in order to solve the problem of sparse and quasi dense reconstruction. To successfully solve...
Gustavo Olague, Cesar Puente