Sciweavers

4966 search results - page 352 / 994
» its 2010
Sort
View
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 6 months ago
Intersection Theory for Generic Differential Polynomials and Differential Chow Form
In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension d and order h with a g...
Xiao-Shan Gao, Wei Li, Chun-Ming Yuan
CORR
2010
Springer
153views Education» more  CORR 2010»
15 years 6 months ago
Integration of Agile Ontology Mapping towards NLP Search in I-SOAS
In this research paper we address the importance of Product Data Management (PDM) with respect to its contributions in industry. Moreover we also present some currently available ...
Zeeshan Ahmed, Ina Tacheva
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 6 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 6 months ago
On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization
In this paper, we give a theoretical analysis for the algorithms to compute functional decomposition for multivariate polynomials based on differentiation and homogenization which ...
Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao
QUEUE
2007
63views more  QUEUE 2007»
15 years 6 months ago
The Code Delusion
st sacred importance of an abstract and one-dimensional genetic code—a code so thinly connected to the full-fleshed reality of our selves that its entire import could be captured...
Stan Kelly-Bootle