2715 search results - page 68 / 543 » An Implementation of Narrowing Strategies |
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— We propose two contrasting approaches to the scalable distributed control of a swarm of self-assembling miniaturized robots, specifically the formation of chains of a desired ...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper focuses on message transfers across multiple heterogeneous high-performance networks in the NEWMADELEINE Communication Library. NEWMADELEINE features a modular design t...
PARELEC
2006
IEEE
14 years 2 months ago
2006
IEEE
We have developed an application-driven methodology for implementing parallel and heterogeneous programmable platforms. We deploy our flow for network access platforms where we h...
FLOPS
2004
Springer
14 years 18 days ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...