3255 search results - page 86 / 651 » Combination of Abstractions in the ASTR |
147
click to vote
DAARC
2007
Springer
16 years 17 days 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...
141
click to vote
LPAR
2007
Springer
16 years 16 days 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...
141
click to vote
MKM
2007
Springer
16 years 15 days 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...
164
click to vote
PADL
2007
Springer
16 years 15 days 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...
177
click to vote
SG
2007
Springer
16 years 15 days 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...