Sciweavers

2597 search results - page 287 / 520
» On numbers of Davenport-Schinzel sequences
Sort
View
FOSSACS
2009
Springer
15 years 10 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 10 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
179
Voted
FCCM
2004
IEEE
101views VLSI» more  FCCM 2004»
15 years 10 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 10 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 10 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...