5414 search results - page 229 / 1083 » Exploratory Model Building |
177
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
156
click to vote
SSPR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper, we propose a method for recognizing architectural symbols. The method is based on the description of the model through a set of constraints on geometrical ...
160
Voted
OOIS
1997
Springer
15 years 10 months ago
1997
Springer
Subjects model di erent perspectives on a problem domain by collections of related class hierarchies. Subjects can be seen as the result of separate and possibly independent devel...
167
click to vote
DICTA
2007
15 years 8 months ago
2007
A scheme, named tower of knowledge (ToK), is proposed for interpreting 3D scenes. The ToK encapsulates causal dependencies between object appearance and functionality. We demonstr...
153
click to vote
LREC
2008
15 years 8 months ago
2008
This paper presents a context sensitive spell checking system that uses mixed trigram models, and introduces a new empirically grounded method for building confusion sets. The pro...