411 search results - page 64 / 83 » Automating the Dependency Pair Method |
136
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
The photorealistic modeling of large-scale scenes, such as urban structures, requires a fusion of range sensing technology and traditional digital photography. This paper presents...
135
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: The models developed to characterize the evolution of multigene families (such as the birth-and-death and the concerted models) have also been applied on the level of ...
133
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
138
Voted
BMCBI
2010
2010
An intuitionistic approach to scoring DNA sequences against transcription factor binding site motifs
15 years 3 months ago
Background: Transcription factors (TFs) control transcription by binding to specific regions of DNA called transcription factor binding sites (TFBSs). The identification of TFBSs ...
135
Voted
TIME
2008
IEEE
15 years 9 months ago
2008
IEEE
Frequent behavioural pattern mining is a very important topic of knowledge discovery, intended to extract correlations between items recorded in large databases or Web acces logs....