7335 search results - page 1009 / 1467 » Scene Based Reasoning |
194
click to vote
LACL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
174
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
208
click to vote
MKM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
149
click to vote
PKDD
2005
Springer
16 years 10 days ago
2005
Springer
Imbalanced data learning has recently begun to receive much attention from research and industrial communities as traditional machine learners no longer give satisfactory results. ...
169
click to vote
RISE
2005
Springer
16 years 10 days ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...