4592 search results - page 816 / 919 » Framework for Studying Substitution |
CP
1998
Springer
14 years 1 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
EKAW
1992
Springer
14 years 1 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
VLDB
1993
ACM
14 years 1 months ago
1993
ACM
ract One important aspect of scientific data management is metadata management. Metadata is information about data (e.g., content, source, processing applied, precision). One kind ...
AI50
2006
14 years 21 days ago
2006
Abstract. This paper describes a multi-disciplinary initiative to promote collaborative research in enactive artificial cognitive systems by developing the iCub : a open-systems 53...
CC
2006
Springer
14 years 21 days ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...