Sciweavers

2154 search results - page 167 / 431
» On the notion of concept I
Sort
View
AGP
1994
IEEE
15 years 5 months ago
An Abstract Interpretation Framework for (almost) Full Prolog
act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...
DOCENG
2007
ACM
15 years 5 months ago
Declarative extensions of XML languages
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
Simon J. Thompson, Peter R. King, Patrick Schmitz
ICCS
2007
Springer
15 years 5 months ago
A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows
Scientific workflows have gained great momentum in recent years due to their critical roles in e-Science and cyberinfrastructure applications. However, some tasks of a scientific w...
Liqiang Wang, Shiyong Lu, Xubo Fei, Jeffrey L. Ram
WSC
2007
15 years 3 months ago
Requirements and design principles for multisimulation with multiresolution, multistage multimodels
The significance of simulation modeling at multiple levels, scales, and perspectives is well recognized. However, existing proposals for developing such models are often applicati...
Levent Yilmaz, Alvin Lim, Simon Bowen, Tuncer I. &...
WSC
2008
15 years 3 months ago
On step sizes, stochastic shortest paths, and survival probabilities in Reinforcement Learning
Reinforcement Learning (RL) is a simulation-based technique useful in solving Markov decision processes if their transition probabilities are not easily obtainable or if the probl...
Abhijit Gosavi