Sciweavers

2219 search results - page 224 / 444
» Dynamic Programming and Graph Algorithms in Computer Vision
Sort
View
ECSQARU
1997
Springer
15 years 7 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
JUCS
2010
148views more  JUCS 2010»
15 years 1 months ago
Applying RFD to Construct Optimal Quality-Investment Trees
: River Formation Dynamics (RFD) is an evolutionary computation method based on copying how drops form rivers by eroding the ground and depositing sediments. Given a cost-evaluated...
Pablo Rabanal, Ismael Rodríguez, Fernando R...
177
Voted
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
15 years 7 months ago
CRUSADE: Hardware/Software Co-Synthesis of Dynamically Reconfigurable Heterogeneous Real-Time Distributed Embedded Systems
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
Bharat P. Dav
140
Voted
CSMR
2010
IEEE
14 years 10 months ago
Utilizing Debug Information to Compact Loops in Large Program Traces
In recent years, dynamic program execution traces have been utilized in an attempt to better understand the runtime behavior of various software systems. The unfortunate reality of...
Del Myers, Margaret-Anne D. Storey, Martin Salois
GD
2005
Springer
15 years 8 months ago
A Mixed-Integer Program for Drawing High-Quality Metro Maps
In this paper we investigate the problem of drawing metro maps which is defined as follows. Given a planar graph G of maximum degree 8 with its embedding and vertex locations (e.g...
Martin Nöllenburg, Alexander Wolff