2958 search results - page 51 / 592 » Extending and Implementing RASP |
251
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
130
click to vote
ASAP
2009
IEEE
16 years 3 months ago
2009
IEEE
—We present a design and implementation of a radix-4 complex division unit with prescaling of the operands. Specifically, we extend the treatment of the residual bound and error...
136
click to vote
ATAL
2007
Springer
16 years 5 days ago
2007
Springer
The governance of open multi-agent systems is particular important since those systems are composed by heterogeneous, autonomous and independently designed agents. Such governance ...
127
click to vote
PVM
2005
Springer
15 years 11 months ago
2005
Springer
llc is a language designed to extend OpenMP to distributed memory systems. Work in progress on the implementation of a compiler that translates llc code and targets distributed mem...
178
click to vote
DNA
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new way to implement (general) computing devices with unbounded memory. In particular, we show a procedure to implement automata with unbounded stack memory, push-down...