Sciweavers

3134 search results - page 49 / 627
» Computing full disjunctions
Sort
View
PERCOM
2005
ACM
14 years 9 months ago
Media Distribution in a Pervasive Computing Environment
Distribution of media in the fast growing world of digital stored content and multimedia supporting devices with connectivity, calls for a new media distribution architecture. The...
Winfried A. H. Berkvens, Arjan Claassen, Joep P. v...
BMCBI
2008
99views more  BMCBI 2008»
13 years 10 months ago
Comparative phyloinformatics of virus genes at micro and macro levels in a distributed computing environment
Background: Preparedness for a possible global pandemic caused by viruses such as the highly pathogenic influenza A subtype H5N1 has become a global priority. In particular, it is...
Dadabhai T. Singh, Rahul Trehan, Bertil Schmidt, T...
AMC
2006
119views more  AMC 2006»
13 years 10 months ago
Interval iterative methods for computing Moore-Penrose inverse
In this paper, we import interval method to the iteration for computing Moore-Penrose inverse of the full row (or column) rank matrix. Through modifying the classical Newton itera...
Xian Zhang, Jianfeng Cai, Yimin Wei
CORR
2006
Springer
101views Education» more  CORR 2006»
13 years 10 months ago
Fast computation of power series solutions of systems of differential equations
We propose algorithms for the computation of the first N terms of a vector (or a full basis) of power series solutions of a linear system of differential equations at an ordinary ...
Alin Bostan, Frédéric Chyzak, Fran&c...
IPL
2007
78views more  IPL 2007»
13 years 9 months ago
Ensuring the quasi-termination of needed narrowing computations
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
J. Guadalupe Ramos, Josep Silva, Germán Vid...