1880 search results - page 267 / 376 » A Static Analysis for Beta-Binders |
189
click to vote
ECAI
2004
Springer
16 years 10 days ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
178
Voted
EUROPAR
2004
Springer
16 years 10 days ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
168
Voted
ICCS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
143
click to vote
ICIAR
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. In this paper, a coarse-to-fine classification scheme is used to recognize facial expressions (angry, disgust, fear, happiness, neutral, sadness and surprise) of novel ex...
172
Voted
SIGADA
2004
Springer
16 years 9 days ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...