3028 search results - page 230 / 606 » Integrating Temporal Logics |
173
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Similarity retrieval have been widely used in many practical search applications. A similarity query model can be viewed as a logical combination of a set of similarity predicates....
202
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...
229
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
209
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The function of a protein is dependent on whether and how it can interact with various ligands. Therefore, an accurate prediction of protein-ligand interactions is paramo...
206
click to vote
ASP
2005
Springer
16 years 24 days ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...