677 search results - page 71 / 136 » Dependent Types from Counterexamples |
101
click to vote
BMCBI
2011
14 years 1 months ago
2011
Background: Patterns of genome-wide methylation vary between tissue types. For example, cancer tissue shows markedly different patterns from those of normal tissue. In this paper ...
W2GIS
2007
Springer
15 years 3 months ago
2007
Springer
In order to provide a streaming service of 3-D spatial objects to the mobile clients on a street, we propose a new query type, called continuous perspective query. The perspective ...
DAC
1997
ACM
15 years 2 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
LREC
2008
14 years 11 months ago
2008
This paper describes the evaluation methodology used to evaluate the TC-STAR speech-to-speech translation (SST) system and their results from the third year of the project. It fol...
BMCBI
2007
14 years 10 months ago
2007
Background: Lately, there has been a great interest in the application of information extraction methods to the biomedical domain, in particular, to the extraction of relationship...