Sciweavers

733 search results - page 36 / 147
» Active Automation of the DITSCAP
Sort
View
ICCS
2003
Springer
15 years 2 months ago
Active Network Approach to Grid Management
abstract Due to the large scale of Grid environment and its rapid expansion, both in Grid resources and Grid network environment, it is getting more imperative to provide a Grid m...
Alex Galis, Jean-Patrick Gelas, Laurent Lefè...
PLILP
1998
Springer
15 years 1 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
ICLP
1997
Springer
15 years 1 months ago
Total Homeostaticity and Integrity Constraints Restorability Recognition
We introduce and explore a property of deductive data bases with updates wich we call total homeostaticity, and which substantially generalizes the following their property: ”fo...
Michael I. Dekhtyar, Alexander Ja. Dikovsky
ICLP
1994
Springer
15 years 1 months ago
Compiling Intensional Sets in CLP
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, ...
GIS
1992
ACM
15 years 1 months ago
The Geometry of Environmental Knowledge
Theoretical and empirical work on the geometry of environmental knowledge is discussed. Certain patterns of distanc.e and directional estimates collected from humans have been inte...
Daniel R. Montello