Sciweavers

628 search results - page 49 / 126
» Magic Counting Methods
Sort
View
JCB
2002
74views more  JCB 2002»
13 years 7 months ago
Using Substitution Matrices to Estimate Probability Distributions for Biological Sequences
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...
Eleazar Eskin, William Stafford Noble, Yoram Singe...
ICDE
2004
IEEE
140views Database» more  ICDE 2004»
14 years 9 months ago
Approximate Aggregation Techniques for Sensor Databases
In the emerging area of sensor-based systems, a significant challenge is to develop scalable, fault-tolerant methods to extract useful information from the data the sensors collec...
Jeffrey Considine, Feifei Li, George Kollios, John...
ERCIMDL
2010
Springer
162views Education» more  ERCIMDL 2010»
13 years 9 months ago
Citation Graph Based Ranking in Invenio
Invenio is the web-based integrated digital library system developed at CERN. Within this framework, we present four types of ranking models based on the citation graph that comple...
Ludmila Marian, Jean-Yves LeMeur, Martin Rajman, M...
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
14 years 1 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
OOIS
1994
Springer
14 years 2 days ago
Problems, Descriptions and Objects
The business of software development is solving problems. Following Polya, we can increase our ability to solve problems by focusing directly on problems themselves, on their part...
Michael Jackson