5671 search results - page 660 / 1135 » A Semantic Approach to Interpolation |
213
click to vote
IFL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
211
click to vote
AIME
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
196
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
XML is becoming the standard data exchange format. View transformation of XML data is important and frequent operation in XML data integration and publishing. In schema-based view ...
254
click to vote
DILS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
192
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...