3225 search results - page 247 / 645 » Compiling Experience into Knowledge |
170
click to vote
WIA
2000
Springer
15 years 10 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
182
click to vote
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...
162
click to vote
ICCBR
1995
Springer
15 years 10 months ago
1995
Springer
The particular strength of CBR is normally considered to be its use in weak theory domains where solution quality is compiled into cases and is reusable. In this paper we explore a...
186
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
Three-screen services provide the right solution for consumers to access rich multimedia resources by any device, anytime and anywhere. In this paper, we describe a prototype syst...
155
click to vote
LREC
2010
15 years 8 months ago
2010
We present a semi-supervised machine-learning approach for the classification of adjectives into property- vs. relationdenoting adjectives, a distinction that is highly relevant f...