Sciweavers

1847 search results - page 26 / 370
» Hybrid Functional Interpretations
Sort
View
BIBM
2010
IEEE
151views Bioinformatics» more  BIBM 2010»
15 years 3 months ago
Probabilistic topic modeling for genomic data interpretation
Recently, the concept of a species containing both core and distributed genes, known as the supra- or pangenome theory, has been introduced. In this paper, we aim to develop a new ...
Xin Chen, Xiaohua Hu, Xiajiong Shen, Gail Rosen
JEI
2008
135views more  JEI 2008»
15 years 5 months ago
Face authentication using a hybrid approach
This paper presents a hybrid approach to face-feature extraction based on the trace transform and the novel kernel partial-least-squares discriminant analysis (KPA). The hybrid app...
Vitomir Struc, France Mihelic, Nikola Pavesic
MJ
2006
102views more  MJ 2006»
15 years 5 months ago
Hybrid verification integrating HOL theorem proving with MDG model checking
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
Rabeb Mizouni, Sofiène Tahar, Paul Curzon
IFL
2000
Springer
15 years 9 months ago
Non-determinism Analysis in a Parallel-Functional Language
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
Ricardo Pena, Clara Segura
MCM2
2011
51views more  MCM2 2011»
14 years 8 months ago
Fundamental Passacaglia: Harmonic Functions and the Modes of the Musical Tetractys
Abstract. In this paper we take the three tonal functions tonic, subdominant, dominant out of their usual theoretical domicile – the combinatorics of fifth-related triads enrich...
Karst de Jong, Thomas Noll