3441 search results - page 254 / 689 » Parallel Logic Programming Systems |
179
Voted
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
127
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The GCA (Global Cellular Automata) model consists of a collection of cells which change their states synchronously depending on the states of their neighbors like in the classical...
142
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
Many MPSoC applications are loop-intensive and amenable to automatic parallelization with suitable compiler support. One of the key components of any compiler-parallelized code is...
146
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
147
click to vote
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
Object-oriented techniques have been along the last decade one of the most useful programming paradigms. However, for distributed embedded systems the semantic gap between the obj...