2519 search results - page 300 / 504 » Reasoning with Textual Cases |
166
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
180
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Random forest induction is a bagging method that randomly samples the feature set at each node in a decision tree. In propositional learning, the method has been shown to work well...
212
click to vote
MDAFA
2004
Springer
15 years 12 months ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
161
click to vote
PRICAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
169
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
Photometric stereo relies on inverting the image formation process, and doing this accurately requires reasoning about the visibility of light sources with respect to each image po...