151 search results - page 24 / 31 » Handling Boolean A Boxes |
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
In order to solve medical multimodal queries, we propose to split the queries in different dimensions using ontology. We extract both textual and visual terms depending on the ont...
MEMOCODE
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
ICADL
2005
Springer
14 years 1 months ago
2005
Springer
Search engines of main-stream literature digital libraries such as ACM Digital Library, Google Scholar, and PubMed employ file-based systems, and provide users with a basic boolean...
FORMATS
2004
Springer
14 years 27 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
SIGMOD
1999
ACM
13 years 11 months ago
1999
ACM
In this paper we present a mechanism for translating constraint queries, i.e., Boolean expressions of constraints, across heterogeneous information sources. Integrating such syste...