3090 search results - page 581 / 618 » On Testing Answer-Set Programs |
125
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
104
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
110
click to vote
QI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. It is argued that the vector space measures used to measure closeness of market prices to predictors for market prices are invalid because of the observed metric of commo...
122
click to vote
CF
2009
ACM
15 years 8 months ago
2009
ACM
As we reach the limits of single-core computing, we are promised more and more cores in our systems. Modern architectures include many performance counters per core, but few or no...
COMPGEOM
2009
ACM
15 years 8 months ago
2009
ACM
Data conflation is a major issue in GIS: spatial data obtained from different sources, using different acquisition techniques, needs to be combined into one single consistent d...