45 search results - page 8 / 9 » Completeness and Consistency Analysis of State-Based Require... |
BMCBI
2006
13 years 11 months ago
2006
Background: Recent advances and automation in DNA sequencing technology has created a vast amount of DNA sequence data. This increasing growth of sequence data demands better and ...
FPCA
1989
14 years 2 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
AINA
2008
IEEE
14 years 5 months ago
2008
IEEE
The analysis of gene expression time series obtained from microarray experiments can be effectively exploited to understand a wide range of biological phenomena from the homeostat...
ICMI
2003
Springer
14 years 4 months ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
EUROGRAPHICS
2010
Eurographics
14 years 8 months ago
2010
Eurographics
This paper presents a novel interactive approach for adding depth information into hand-drawn cartoon images and animations. In comparison to previous depth assignment techniques ...