Sciweavers

5220 search results - page 346 / 1044
» Changing Persistent Applications
Sort
View
IEAAIE
2003
Springer
15 years 12 months ago
A Rigorous Approach to Knowledge Base Maintenance
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
John K. Debenham
ECWEB
2001
Springer
117views ECommerce» more  ECWEB 2001»
15 years 11 months ago
Just Business -Shouldn't We Have Some Fun?
Information Technology has changed our life and society already to such an extent that even our visions cannot exist without technology and its applications. And this change is acc...
Hannes Werthner
IJCNN
2000
IEEE
15 years 11 months ago
Metrics that Learn Relevance
We introduce an algorithm for learning a local metric to a continuous input space that measures distances in terms of relevance to the processing task. The relevance is defined a...
Samuel Kaski, Janne Sinkkonen
HCW
1999
IEEE
15 years 11 months ago
Metacomputing with MILAN
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...
Arash Baratloo, Partha Dasgupta, Vijay Karamcheti,...
KBSE
1999
IEEE
15 years 11 months ago
An ML Editor Based on Proofs-As-Programs
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen...