892 search results - page 112 / 179 » Strategies in sentential reasoning |
127
Voted
KES
2008
Springer
15 years 22 days ago
2008
Springer
This paper presents a user interface to the User-Centred Knowledge Model (t-UCK). T-UCK is a knowledge modelling tool for designing knowledge-intensive systems. The model centres r...
104
click to vote
ENTCS
2007
15 years 22 days ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
100
Voted
JETAI
2007
15 years 20 days ago
2007
Contextual vocabulary acquisition (CVA) is the active, deliberate acquisition of a meaning for an unknown word in a text by reasoning from textual clues, prior knowledge, and hypo...
100
Voted
TROB
2008
15 years 20 days ago
2008
We present a method for inferring the topology of a sensor network given nondiscriminating observations of activity in the monitored region. This is accomplished based on no prior ...
106
Voted
MVA
2000
15 years 16 days ago
2000
We propose a new approach for automatic road extraction from aerial imagery with a model and a strategy mainly based on the multi-scale detection of roads in combination with geome...