Sciweavers

2853 search results - page 128 / 571
» On the Efficiency of Provenance Queries
Sort
View
RECOMB
2008
Springer
16 years 6 months ago
Fast and Accurate Alignment of Multiple Protein Networks
Comparative analysis of protein networks has proven to be a powerful approach for elucidating network structure and predicting protein function and interaction. A fundamental chall...
Maxim Kalaev, Vineet Bafna, Roded Sharan
CADE
2008
Springer
16 years 6 months ago
Engineering DPLL(T) + Saturation
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
IEEECIT
2010
IEEE
15 years 5 months ago
Centralized Project-Based Teaching Approach in Database Application Development Training
—The centralized teaching approach is different from the general lecture course, as it requires students focus all efforts within a period of time to finish a project task in ord...
Gaoyan Zhang, Haifeng Ke, Minghui Wu, Jun Liu
VLDB
2007
ACM
126views Database» more  VLDB 2007»
16 years 6 months ago
Querying Complex Structured Databases
Correctly generating a structured query (e.g., an XQuery or a SQL query) requires the user to have a full understanding of the database schema, which can be a daunting task. Alter...
Cong Yu, H. V. Jagadish
ICDE
2008
IEEE
127views Database» more  ICDE 2008»
16 years 7 months ago
Optimizing SQL Queries over Text Databases
Text documents often embed data that is structured in nature, and we can expose this structured data using information extraction technology. By processing a text database with inf...
Alpa Jain, AnHai Doan, Luis Gravano