Sciweavers

322 search results - page 10 / 65
» Expressive power and abstraction in Essence
Sort
View
103
Voted
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
15 years 3 months ago
Predicate Abstraction of Programs with Non-linear Computation
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
Songtao Xia, Ben Di Vito, César Muño...
144
Voted
DM
2011
318views Education» more  DM 2011»
14 years 6 months ago
The Legendre-Stirling numbers
Abstract. The Legendre-Stirling numbers were discovered in 2002 as a result of a problem involving the spectral theory of powers of the classical second-order Legendre di¤erential...
George E. Andrews, Wolfgang Gawronski, Lance L. Li...
97
Voted
IFL
2000
Springer
15 years 3 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
IJBIS
2010
94views more  IJBIS 2010»
14 years 9 months ago
A framework towards a multi-modal fingerprinting scheme for multimedia assets
Fingerprinting is a well known approach for identifying multimedia data without having the original data present but what amounts to its essence or "DNA". Current approa...
Atta Badii, Daniel Thiemert
88
Voted
BIBE
2007
IEEE
155views Bioinformatics» more  BIBE 2007»
15 years 6 months ago
Partial Mixture Model for Tight Clustering in Exploratory Gene Expression Analysis
Abstract—In this paper we demonstrate the inherent robustness of minimum distance estimator that makes it a potentially powerful tool for parameter estimation in gene expression ...
Yinyin Yuan, Chang-Tsun Li