2586 search results - page 352 / 518 » Automatic Abstraction for Congruences |
150
click to vote
PPDP
2007
Springer
16 years 17 days 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...
171
click to vote
PSIVT
2007
Springer
16 years 17 days 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...
166
click to vote
SAFECOMP
2007
Springer
16 years 16 days 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...
198
click to vote
SAMT
2007
Springer
16 years 16 days 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...
148
click to vote
SAS
2007
Springer
16 years 16 days 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...