Sciweavers

1847 search results - page 26 / 370
» Hybrid Functional Interpretations
Sort
View
BIBM
2010
IEEE
151views Bioinformatics» more  BIBM 2010»
14 years 8 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»
14 years 10 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»
14 years 10 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 1 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 24 days 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