Sciweavers

2300 search results - page 193 / 460
» Maximally Concurrent Programs
Sort
View
ICLP
2010
Springer
15 years 10 months ago
Circumscription and Projection as Primitives of Logic Programming
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
Christoph Wernhard
PARELEC
2006
IEEE
16 years 13 days ago
Scientific Programming for Heterogeneous Systems - Bridging the Gap between Algorithms and Applications
High performance computing in heterogeneous environments is a dynamically developing area. A number of highly efficient heterogeneous parallel algorithms have been designed over l...
Alexey L. Lastovetsky
AAAI
2007
15 years 8 months ago
Optimal Multi-Agent Scheduling with Constraint Programming
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...
Willem Jan van Hoeve, Carla P. Gomes, Bart Selman,...
SIGOPSE
2004
ACM
15 years 12 months ago
Using virtual markets to program global behavior in sensor networks
This paper presents market-based macroprogramming (MBM), a new paradigm for achieving globally efficient behavior in sensor networks. Rather than programming the individual, low-...
Geoffrey Mainland, Laura Kang, Sébastien La...
CMSB
2004
Springer
15 years 12 months ago
Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
Huma Lodhi, Stephen Muggleton