4814 search results - page 418 / 963 » Combining abstract interpreters |
198
click to vote
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study the approximation of the integration of multivariate functions classes in the quantum model of computation. We first obtain a lower bound of the n-th minimal qu...
156
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
163
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Usi...
178
click to vote
WILF
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Analysis and visualization of high-dimensional clinical proteomic spectra obtained from mass spectrometric measurements is a complicated issue. We present a wavelet based...
166
click to vote
WILF
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present a machine learning approach for classifying sentences as one-liner jokes or normal sentences. We use no deep analysis of the meaning to try to see if it is hum...