2586 search results - page 352 / 518 » Automatic Abstraction for Congruences |
182
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
201
Voted
PSIVT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In a process of insect footprint recognition, footprint segments need to be extracted from scanned insect footprints in order to find out appropriate features for classi...
202
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
223
click to vote
SAMT
2007
Springer
16 years 1 months ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...
175
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...