Sciweavers

17450 search results - page 356 / 3490
» Numerical Methods with Applications
Sort
View
RE
1997
Springer
15 years 9 months ago
SOFL: A Formal Engineering Methodology for Industrial Applications
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
Shaoying Liu
125
Voted
SAS
1992
Springer
124views Formal Methods» more  SAS 1992»
15 years 8 months ago
An Application of Abstract Interpretation to Floating Point Arithmetic
Interpretation to Floating point Arithmetic Yamine A
Yamine Aït Ameur, Patrice Cros, J.-J. Falcon,...
ACL
1996
15 years 6 months ago
An Application of WordNet to Prepositional Attachment
This paper presents a method for word sense disambiguation and coherence understanding of prepositional relations. The method relies on information provided by
Sanda M. Harabagiu
GIAE
2004
Springer
181views Mathematics» more  GIAE 2004»
15 years 10 months ago
Applications of Conformal Geometric Algebra in Computer Vision and Graphics
Abstract. This paper introduces the mathematical framework of conformal geometric algebra (CGA) as a language for computer graphics and computer vision. Specifically it discusses ...
Rich Wareham, Jonathan Cameron, Joan Lasenby
NAACL
2004
15 years 6 months ago
Catching the Drift: Probabilistic Content Models, with Applications to Generation and Summarization
We consider the problem of modeling the content structure of texts within a specific domain, in terms of the topics the texts address and the order in which these topics appear. W...
Regina Barzilay, Lillian Lee