Sciweavers

7434 search results - page 91 / 1487
» Still
Sort
View
ICANNGA
2007
Springer
15 years 6 months ago
DNA Based Evolutionary Approach for Microprocessor Design Automation
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...
Nagarajan Venkateswaran, Arjun Kumeresh, Harish Ch...
ISAAC
2007
Springer
122views Algorithms» more  ISAAC 2007»
15 years 6 months ago
Compressing Spatio-temporal Trajectories
Trajectory data is becoming increasingly available and the size of the trajectories is getting larger. In this paper we study the problem of compressing spatio-temporal trajectorie...
Joachim Gudmundsson, Jyrki Katajainen, Damian Merr...
KES
2007
Springer
15 years 6 months ago
Overview of Network Information by Using Anchored Maps
Spring embedding is widely used to draw up networks. However, the readability of network diagrams drawn by using spring embedding is still not good enough. This paper proposes the ...
Kazuo Misue
KI
2007
Springer
15 years 6 months ago
Early History and Perspectives of Automated Deduction
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summa...
Wolfgang Bibel
LOPSTR
2007
Springer
15 years 6 months ago
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
Sebastian Fischer, Josep Silva, Salvador Tamarit, ...