Sciweavers

1494 search results - page 64 / 299
» Efficient provenance storage
Sort
View
PVLDB
2008
216views more  PVLDB 2008»
14 years 10 months ago
Ad-hoc data processing in the cloud
Ad-hoc data processing has proven to be a critical paradigm for Internet companies processing large volumes of unstructured data. However, the emergence of cloud-based computing, ...
Dionysios Logothetis, Ken Yocum
HT
1991
ACM
15 years 3 months ago
Implementing Hypertext Database Relationships through Aggregations and Exceptions
In order to combine hypertext with database facilities, we show how to extract an effective storage structure from given instance relationships. The schema of the structure recogn...
Yoshinori Hara, Arthur M. Keller, Gio Wiederhold
RECOMB
2008
Springer
16 years 4 days 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 4 days 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
14 years 10 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