10907 search results - page 1863 / 2182 » Constraint Based Strategies |
186
Voted
SAS
2004
Springer
16 years 24 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...
179
Voted
SAT
2004
Springer
16 years 24 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...
201
click to vote
TSD
2004
Springer
16 years 24 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...
228
Voted
VLDB
2004
ACM
16 years 24 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...
246
click to vote
WEBI
2004
Springer
16 years 24 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...