10907 search results - page 1863 / 2182 » Constraint Based Strategies |
169
click to vote
SAS
2004
Springer
16 years 2 days ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
159
click to vote
SAT
2004
Springer
16 years 2 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
175
click to vote
TSD
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a new unit selection process for Very Low Bit Rate speech encoding around 500 bits/sec. The encoding is based on speech recognition and speech synthesis technol...
204
click to vote
VLDB
2004
ACM
16 years 2 days ago
2004
ACM
Query containment is the most fundamental relationship between a pair of database queries: a query Q is said to be contained in a query Q if the answer for Q is always a subset of...
218
click to vote
WEBI
2004
Springer
16 years 2 days ago
2004
Springer
Business process describes a set of services that span enterprise boundaries and are provided by enterprises that see each other as partners. Web services is widely accepted and a...