38 search results - page 5 / 8 » Recent Results on the Algebraic Approach to the CSP |
ICS
1997
Tsinghua U.
13 years 11 months ago
1997
Tsinghua U.
Standard restructuring compiler tools are based on polyhedral algebra and cannot be used to analyze or restructure sparse matrix codes. We have recently shown that tools based on ...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
Keyword search in relational databases (RDBs) has been extensively studied recently. A keyword search (or a keyword query) in RDBs is specified by a set of keywords to explore the...
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
The recent explosion of interest in graph cut methods in computer vision naturally spawns the question: what energy functions can be minimized via graph cuts? This question was fi...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
The annotation of the results of database transformations was shown to be very effective for various applications. Until recently, most works in this context focused on positive q...