2308 search results - page 429 / 462 » Representing Symbolic Reasoning |
BTW
2009
Springer
14 years 5 months ago
2009
Springer
: TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of incrementally evaluated SQL queries for analyzing a wide spectrum of data streams. As ap...
SAT
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
SEMWEB
2009
Springer
14 years 5 months ago
2009
Springer
To cope with society’s demand for transparency and corruption prevention, the Brazilian Office of the Comptroller General (CGU) has carried out a number of actions, including: aw...
MM
2009
ACM
14 years 5 months ago
2009
ACM
The main difficulty in face image modeling is to decompose those semantic factors contributing to the formation of the face images, such as identity, illumination and pose. One p...
SIGMETRICS
2009
ACM
14 years 5 months ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...