Sciweavers

1306 search results - page 11 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
ICDE
2010
IEEE
195views Database» more  ICDE 2010»
15 years 5 months ago
Interaction-Aware Prediction of Business-Intelligence Workload Completion Times
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
Mumtaz Ahmad, Songyun Duan, Ashraf Aboulnaga, Shiv...
BMCBI
2007
161views more  BMCBI 2007»
15 years 14 days ago
Efficient classification of complete parameter regions based on semidefinite programming
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
Lars Kuepfer, Uwe Sauer, Pablo A. Parrilo
99
Voted
BMCBI
2008
211views more  BMCBI 2008»
15 years 14 days ago
CPSP-tools - Exact and complete algorithms for high-throughput 3D lattice protein studies
Background: The principles of protein folding and evolution pose problems of very high inherent complexity. Often these problems are tackled using simplified protein models, e.g. ...
Martin Mann, Sebastian Will, Rolf Backofen
114
Voted
BIRTHDAY
2010
Springer
14 years 9 months ago
Some Thoughts on the Semantics of Biocharts
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
David Harel, Hillel Kugler
93
Voted
VLDB
2005
ACM
133views Database» more  VLDB 2005»
15 years 5 months ago
Caching with 'Good Enough' Currency, Consistency, and Completeness
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...
Hongfei Guo, Per-Åke Larson, Raghu Ramakrish...