Sciweavers

2597 search results - page 287 / 520
» On numbers of Davenport-Schinzel sequences
Sort
View
FOSSACS
2009
Springer
15 years 5 months ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...
ECCV
2004
Springer
15 years 5 months ago
Extending Interrupted Feature Point Tracking for 3-D Affine Reconstruction
Feature point tracking over a video sequence fails when the points go out of the field of view or behind other objects. In this paper, we extend such interrupted tracking by imposi...
Yasuyuki Sugaya, Ken-ichi Kanatani
FCCM
2004
IEEE
101views VLSI» more  FCCM 2004»
15 years 5 months ago
Secure Remote Control of Field-programmable Network Devices
A circuit and an associated lightweight protocol have been developed to secure communication between a control console and remote programmable network devices1 . The circuit provi...
Haoyu Song, Jing Lu, John W. Lockwood, James Mosco...
CPAIOR
2006
Springer
15 years 5 months ago
Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling
Abstract. This paper considers all the variants of the traveling tournament prob) proposed in [17, 7] to abstract the salient features of major league baseball (MLB) in the United ...
Pascal Van Hentenryck, Yannis Vergados
GECCO
2000
Springer
112views Optimization» more  GECCO 2000»
15 years 5 months ago
Code Compaction Using Genetic Algorithms
One method for compacting executable computer code is to replace commonly repeated sequences of instructions with macro instructions from a decoding dictionary. The size of the de...
Keith E. Mathias, Larry J. Eshelman, J. David Scha...