8582 search results - page 42 / 1717 » Here or There |
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
CSCLP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arit...
ECAL
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Structural hallmarks of language can be explained in terms of adaptation, by language, to pressures arising during its cultural transmission. Here I present a model which...
ICES
2003
Springer
14 years 3 months ago
2003
Springer
The fractal protein is a new concept for improving evolvability, scalability, exploitability and providing a rich medium for evolution. Here the idea of fractal proteins is introdu...
EMMCVPR
2001
Springer
14 years 2 months ago
2001
Springer
—Geodesic spline interpolation is a simple and efficient approach for landmark matching by nonambiguous mappings (diffeomorphisms), combining classic spline interpolation and ...