15416 search results - page 100 / 3084 » Embeddings of Computable Structures |
161
Voted
CPM
2007
Springer
15 years 9 months ago
2007
Springer
Extracting motifs from a set of DNA sequences is important in computational biology. Occurrence probability is a common used statistics to evaluate the statistical significance of...
123
Voted
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
135
Voted
SSPR
2000
Springer
15 years 7 months ago
2000
Springer
A model based structural recognition approach is used for 3D detection and localization of vehicles. It is theoretically founded by syntactic pattern recognition using coordinate g...
132
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
A comparative study of parallel metaheuristics executed in grid environments is proposed, having as case study a genetic algorithm, a simulated annealing algorithm and a random se...
158
Voted
FTCGV
2011
14 years 7 months ago
2011
Powerful statistical models that can be learned efficiently from large amounts of data are currently revolutionizing computer vision. These models possess a rich internal structur...