Sciweavers

1847 search results - page 367 / 370
» Hybrid Functional Interpretations
Sort
View
ECEASST
2010
14 years 4 months ago
Verified Visualisation of Textual Modelling Languages
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
Fintan Fairmichael, Joseph Kiniry
JNSM
2010
166views more  JNSM 2010»
14 years 4 months ago
High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs
Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
Christophe Moy
NAR
2010
194views more  NAR 2010»
14 years 4 months ago
AltAnalyze and DomainGraph: analyzing and visualizing exon expression data
Alternative splicing is an important mechanism for increasing protein diversity. However, its functional effects are largely unknown. Here, we present our new software workflow co...
Dorothea Emig, Nathan Salomonis, Jan Baumbach, Tho...
SIAMSC
2010
136views more  SIAMSC 2010»
14 years 4 months ago
A Krylov Method for the Delay Eigenvalue Problem
Abstract. The Arnoldi method is currently a very popular algorithm to solve large-scale eigenvalue problems. The main goal of this paper is to generalize the Arnoldi method to the ...
Elias Jarlebring, Karl Meerbergen, Wim Michiels
CVPR
2011
IEEE
14 years 1 months ago
Tag Localization with Spatial Correlations and Joint Group Sparsity
Nowadays numerous social images have been emerging on the Web. How to precisely label these images is critical to image retrieval. However, traditional image-level tagging methods...
Yang Yang, Yi Yang, Zi Huang, Heng Tao Shen, Feipi...