3090 search results - page 543 / 618 » On Testing Answer-Set Programs |
122
click to vote
UTP
2010
15 years 9 days ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
142
click to vote
EDBT
2010
ACM
14 years 12 months ago
2010
ACM
Spatial data are common in many scientific and commercial domains such as geographical information systems and gene/protein expression profiles. Querying for distribution patterns...
120
click to vote
PKDD
2010
Springer
14 years 11 months ago
2010
Springer
The foremost nonlinear dimensionality reduction algorithms provide an embedding only for the given training data, with no straightforward extension for test points. This shortcomin...
148
click to vote
PKDD
2010
Springer
14 years 11 months ago
2010
Springer
As an alternative to vector representations, a recent trend in image classification suggests to integrate additional structural information in the description of images in order to...
102
click to vote
EMNLP
2009
14 years 11 months ago
2009
We propose a novel objective function for discriminatively tuning log-linear machine translation models. Our objective explicitly optimizes the BLEU score of expected n-gram count...