3255 search results - page 86 / 651 » Combination of Abstractions in the ASTR |
DAARC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper, we present a systematic evaluation of a hybrid approach of combined rule-based filtering and machine learning to Dutch coreference resolution. Through the...
LPAR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
MKM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
PADL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
SG
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. NPR Lenses is an interactive technique for producing expressive non-photorealistic renderings. It provides an intuitive visual interaction tool for illustrators, allowing...