11740 search results - page 86 / 2348 » More Problems in Rewriting |
SCAM
2002
IEEE
15 years 5 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
78
Voted
FOSSACS
2001
Springer
15 years 5 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
ECCV
2006
Springer
15 years 4 months ago
2006
Springer
In many image analysis applications there is a need to extract curves in noisy images. To achieve a more robust extraction, one can exploit correlations of oriented features over a...
123
Voted
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
We present in this paper an approach for XQuery optimization that exploits minimization opportunities raised in composition-style nesting of queries. More precisely, we consider t...
100
Voted
ICISC
2008
15 years 2 months ago
2008
This paper proposes a novel technique, called instruction set limitation, to strengthen the resilience of software diversification against collusion attacks. Such attacks require a...