692 search results - page 18 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
JELIA
1990
Springer
15 years 3 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract--Diversity-multiplexing tradeoff (DMT) was characterized asymptotically (SNR-> infinity) for i.i.d. Rayleigh fading channel by Zheng and Tse [1]. The SNR-asymptotic DMT...
104
click to vote
RECOMB
2005
Springer
16 years 2 days ago
2005
Springer
Background: Support Vector Machines (SVMs) ? using a variety of string kernels ? have been successfully applied to biological sequence classification problems. While SVMs achieve ...
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...
TMI
2010
14 years 10 months ago
2010
Abstract—The use of quantitative imaging for the characterization of hepatic tumors in MRI can improve the diagnosis and therefore the treatment of these life-threatening tumors....