Sciweavers

2711 search results - page 326 / 543
» Mapping sequences by parts
Sort
View
UML
2001
Springer
15 years 11 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
EMMCVPR
2009
Springer
15 years 10 months ago
Complex Diffusion on Scalar and Vector Valued Image Graphs
Complex diffusion was introduced in the image processing literature as a means to achieve simultaneous denoising and enhancement of scalar valued images. In this paper, we present ...
Dohyung Seo, Baba C. Vemuri
CSB
2004
IEEE
173views Bioinformatics» more  CSB 2004»
15 years 10 months ago
Gene Ontology Friendly Biclustering of Expression Profiles
The soundness of clustering in the analysis of gene expression profiles and gene function prediction is based on the hypothesis that genes with similar expression profiles may imp...
Jinze Liu, Wei Wang 0010, Jiong Yang
POPL
1991
ACM
15 years 10 months ago
Subtyping Recursive Types
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
Roberto M. Amadio, Luca Cardelli
ESWS
2008
Springer
15 years 8 months ago
Improving Interoperability Using Query Interpretation in Semantic Vector Spaces
Abstract. In semantic web applications where query initiators and information providers do not necessarily share the same ontology, semantic interoperability generally relies on on...
Anthony Ventresque, Sylvie Cazalens, Philippe Lama...