13271 search results - page 412 / 2655 » Computers, Programming, and People |
159
click to vote
EUROPAR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a relational algebra based framework for compiling e cient sparse matrix code from dense DO-ANY loops and a speci cation of the representation of the sparse ma...
228
Voted
CACM
2005
15 years 6 months ago
2005
This paper presents a set of architectures for the composition of ubiquitous computing applications. It describes research that is being carried out in "extrovert-Gadgets&quo...
304
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
143
Voted
SCCC
2007
IEEE
16 years 1 months ago
2007
IEEE