4814 search results - page 581 / 963 » Combining abstract interpreters |
153
click to vote
GPCE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
179
click to vote
ICA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We consider the source extraction problem for stereo instantaneous musical mixtures with more than two sources. We prove that usual separation methods based only on spati...
130
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper we extend our previous result on reusing shooting paths when dealing with moving light sources in radiosity to the final gathering step algorithm, which co...
159
click to vote
ICIAR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. A novel colour constancy algorithm that utilises both physical and statistical knowledge is introduced. A physics-based model of image formation is combined with a statis...
154
Voted
ICWE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper, we integrate WebML, a high-level model and technology for building server-side Web applications, with UML-Guide, a UML-based system that generates client-s...