1174 search results - page 143 / 235 » A Logical Approach to Abstract Algebra |
EMNLP
2009
14 years 7 months ago
2009
We present the first unsupervised approach to the problem of learning a semantic parser, using Markov logic. Our USP system transforms dependency trees into quasi-logical forms, r...
ICMT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
WILF
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present a machine learning approach for classifying sentences as one-liner jokes or normal sentences. We use no deep analysis of the meaning to try to see if it is hum...
ICTAC
2004
Springer
15 years 3 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
WAIM
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. WWW caching necessitates advanced replacement policies that include sophisticated control logic and efficient contents management. This paper presents a constructive appr...