2958 search results - page 51 / 592 » Extending and Implementing RASP |
198
Voted
ICLP
2009
Springer
16 years 3 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...
94
Voted
ASAP
2009
IEEE
15 years 11 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...
103
Voted
ATAL
2007
Springer
15 years 8 months 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 ...
92
Voted
PVM
2005
Springer
15 years 8 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...
139
Voted
DNA
2004
Springer
15 years 8 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...