Sciweavers

4228 search results - page 689 / 846
» Models and Methods in Comparative Genomics
Sort
View
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 8 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
IDEAL
2000
Springer
15 years 8 months ago
Quantization of Continuous Input Variables for Binary Classification
Quantization of continuous variables is important in data analysis, especially for some model classes such as Bayesian networks and decision trees, which use discrete variables. Of...
Michal Skubacz, Jaakko Hollmén
SGP
2007
15 years 6 months ago
Robust statistical estimation of curvature on discretized surfaces
A robust statistics approach to curvature estimation on discretely sampled surfaces, namely polygon meshes and point clouds, is presented. The method exhibits accuracy, stability ...
Evangelos Kalogerakis, Patricio D. Simari, Derek N...
FLAIRS
2010
15 years 6 months ago
Learning to Identify and Track Imaginary Objects Implied by Gestures
A vision-based machine learner is presented that learns characteristic hand and object movement patterns for using certain objects, and uses this information to recreate the "...
Andreya Piplica, Alexandra Olivier, Allison Petros...
109
Voted
BIRD
2008
Springer
15 years 6 months ago
Efficient Seeding Techniques for Protein Similarity Search
Abstract. We apply the concept of subset seeds proposed in [1] to similarity search in protein sequences. The main question studied is the design of efficient seed alphabets to con...
Mikhail A. Roytberg, Anna Gambin, Laurent No&eacut...