1755 search results - page 85 / 351 » An efficient simulation algorithm based on abstract interpre... |
125
click to vote
ASC
2004
15 years 2 months ago
2004
Abstract. This paper presents a real-time full-programmable fuzzy compiler based on piecewise linear interpolation techniques designed to be executed in SIMD (Single Instruction Mu...
116
click to vote
SIAMSC
2008
15 years 2 months ago
2008
Important quantities in aerodynamic flow simulations are the aerodynamic force coefficients including the pressure induced and the viscous stress induced drag, lift and moment coef...
118
click to vote
ICB
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A critical step in automatic fingerprint recognition is the accurate segmentation of fingerprint images. The objective of fingerprint segmentation is to decide which part...
113
click to vote
FMOODS
2007
15 years 4 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
125
click to vote
TSD
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...