551 search results - page 87 / 111 » {log}: A Logic Programming Language with Finite Sets |
127
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
153
click to vote
JMLR
2012
13 years 4 months ago
2012
Standard compressive sensing results state that to exactly recover an s sparse signal in Rp , one requires O(s · log p) measurements. While this bound is extremely useful in prac...
139
click to vote
ALP
1992
Springer
15 years 6 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
130
click to vote
ICALP
2010
Springer
15 years 3 months ago
2010
Springer
We study the combinatorial auction (CA) problem, in which m objects are sold to rational agents and the goal is to maximize social welfare. Of particular interest is the special ca...
117
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...