Sciweavers

2477 search results - page 331 / 496
» Approximate extended formulations
Sort
View
WADS
2007
Springer
89views Algorithms» more  WADS 2007»
15 years 10 months ago
Dynamic TCP Acknowledgment with Sliding Window
The dynamic TCP acknowledgement problem formulated by Dooly et al. has been intensively studied in the area of competitive analysis. However, their framework does not consider the ...
Hisashi Koga
CODES
2006
IEEE
15 years 10 months ago
Thermal-aware high-level synthesis based on network flow method
Lowering down the chip temperature is becoming one of the important design considerations, since temperature adversely and seriously affects many of design qualities, such as reli...
Pilok Lim, Taewhan Kim
CSFW
2006
IEEE
15 years 10 months ago
Information-Flow Security for Interactive Programs
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
Kevin R. O'Neill, Michael R. Clarkson, Stephen Cho...
ICMCS
2006
IEEE
167views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Efficient Object Tracking using Control-Based Observer Design
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
Wei Qu, Dan Schonfeld
ICRA
2006
IEEE
98views Robotics» more  ICRA 2006»
15 years 10 months ago
Ridge-valley Path Planning for 3D Terrains
Abstract— This paper presents a tactical path planning algorithm for following ridges or valleys across a 3D terrain. The intent is to generate a path that enables an unmanned ve...
David L. Page, Andreas Koschan, Mongi A. Abidi, Ja...