Sciweavers

3441 search results - page 288 / 689
» Parallel Logic Programming Systems
Sort
View
115
Voted
IEEEPACT
2000
IEEE
15 years 8 months ago
Fine Grained Multithreading with Process Calculi
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
Luís M. B. Lopes, Fernando M. A. Silva, Vas...
125
Voted
VL
2003
IEEE
139views Visual Languages» more  VL 2003»
15 years 9 months ago
Programming in a data factory
Among the advantages of visual dataflow programming is that it can give the user a sense of location for the data in a computation. This can help novices build a mental picture of...
Steven L. Tanimoto
CLUSTER
2006
IEEE
15 years 9 months ago
TGrid - Grid runtime support for hierarchically structured task-parallel programs
In this article we introduce a grid runtime system called TGrid which is designed to run hierarchically structured task-parallel programs on heterogenous environments and can also...
Sascha Hunold, Thomas Rauber, Gudula Rünger
151
Voted
LPNMR
2007
Springer
15 years 10 months ago
Using Answer Sets to Solve Belief Change Problems
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
Aaron Hunter, James P. Delgrande, Joel Faber
137
Voted
ICMLA
2010
15 years 1 months ago
Incremental Learning of Relational Action Rules
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
Christophe Rodrigues, Pierre Gérard, C&eacu...