15792 search results - page 207 / 3159 » Computational Abstraction Steps |
159
click to vote
LOPSTR
2005
Springer
15 years 11 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
165
click to vote
ICALT
2006
IEEE
16 years 9 days ago
2006
IEEE
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
153
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
We developed an automated system that registers chest CT images temporally. Our registration method matches corresponding anatomical landmarks to obtain initial registration parame...
178
click to vote
ATC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Grid applications have increasingly sophisticated functional and security requirements. However, current techniques mostly protect only the resource provider from attacks...
150
click to vote
EUROPAR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs (from now on, computational kernel...