393 search results - page 70 / 79 » Analyzing Trajectories Using Uncertainty and Background Info... |
FMCAD
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
162
Voted
KCAP
2011
ACM
14 years 8 days ago
2011
ACM
Gold standard mappings created by experts are at the core of alignment evaluation. At the same time, the process of manual evaluation is rarely discussed. While the practice of ha...
BMCBI
2005
14 years 9 months ago
2005
Background: The availability of the human genome sequence as well as the large number of physically accessible oligonucleotides, cDNA, and BAC clones across the entire genome has ...
ECIS
2004
14 years 10 months ago
2004
Discursive-based analysis of organizations is not new in the field of interpretive social studies. Since not long ago have information systems (IS) studies also shown a keen inter...
BMCBI
2010
14 years 9 months ago
2010
Background: Statistical bioinformatics is the study of biological data sets obtained by new micro-technologies by means of proper statistical methods. For a better understanding o...