9719 search results - page 316 / 1944 » Answer Set Optimization |
159
click to vote
JAL
2008
15 years 6 months ago
2008
Abstract. In the last few years, the microprocessors technologies have been definitely moving to multi-core architectures, in order to improve performances as well as reduce power ...
164
click to vote
JCT
2006
15 years 6 months ago
2006
Consider two locally finite rooted trees as equivalent if each of them is a topological minor of the other, with an embedding preserving the tree-order. Answering a question of va...
189
click to vote
AIM
2004
15 years 6 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
204
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
165
click to vote
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
In this paper we review the history of systems for managing “Big Data” as well as today’s activities and architectures from the (perhaps biased) perspective of three “data...