Sciweavers

12148 search results - page 379 / 2430
» Generalized Bundle Methods
Sort
View
198
Voted
ISCAS
2006
IEEE
145views Hardware» more  ISCAS 2006»
16 years 1 months ago
The wordlength determination problem of linear time invariant systems with multiple outputs - a geometric programming approach
This paper proposes two new methods for optimizing objectives and constraints. The GP approach is very general and hardware resources in finite wordlength implementation of it allo...
S. C. Chan, K. M. Tsui
3DIM
2005
IEEE
16 years 1 months ago
Fast Simultaneous Alignment of Multiple Range Images Using Index Images
This paper describes a fast, simultaneous alignment method for a large number of range images. Generally the most time-consuming task in aligning range images is searching corresp...
Takeshi Oishi, Atsushi Nakazawa, Ryo Kurazume, Kat...
JELIA
2004
Springer
16 years 27 days ago
Combining Decision Procedures for Sorted Theories
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
Cesare Tinelli, Calogero G. Zarba
ASWEC
2007
IEEE
15 years 11 months ago
Managing Conflicts When Using Combination Strategies to Test Software
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
Mats Grindal, Jeff Offutt, Jonas Mellin
SODA
2001
ACM
110views Algorithms» more  SODA 2001»
15 years 9 months ago
Absolute convergence: true trees from short sequences
Fast-converging methods for reconstructing phylogenetic trees require that the sequences characterizing the taxa be of only polynomial length, a major asset in practice, since rea...
Tandy Warnow, Bernard M. E. Moret, Katherine St. J...