Sciweavers

4469 search results - page 339 / 894
» Dynamic Program Slicing
Sort
View
CP
2005
Springer
16 years 10 days ago
Lookahead Saturation with Restriction for SAT
We present a new and more efficient heuristic by restricting lookahead saturation (LAS) with NVO (neighbourhood variable ordering) and DEW (dynamic equality weighting). We report o...
Anbulagan, John K. Slaney
ICALP
2004
Springer
16 years 5 days ago
A General Technique for Managing Strings in Comparison-Driven Data Structures
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...
Gianni Franceschini, Roberto Grossi
FTDCS
1999
IEEE
15 years 11 months ago
Ephemeral Java Source Code
In an object oriented, distributed environment, program maintenance, which has never been the most predictable task, becomes even more uncertain. Java's dynamic loading mecha...
Susan Eisenbach, Chris Sadler
FLAIRS
2008
15 years 9 months ago
Non-Rigid Image Registration
An important hypothesis of the research reported in this paper is that dynamic space warping (DSW), a dynamic programming (DP) technique (Bellman 1965, Brown 1996), can be effecti...
Rhoda Baggs, Dan E. Tamir
JELIA
2010
Springer
15 years 5 months ago
Coala: A Compiler from Action Languages to ASP
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...
Martin Gebser, Torsten Grote, Torsten Schaub