5205 search results - page 371 / 1041 » Tilings and model theory |
181
click to vote
CAISE
2004
Springer
16 years 7 days ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
214
click to vote
ITS
2004
Springer
16 years 6 days ago
2004
Springer
This research describes a probabilistic approach for developing predictive models of how students learn problem-solving skills in general qualitative chemistry. The goal is to use ...
198
click to vote
MOBICOM
2003
ACM
16 years 3 days ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
182
click to vote
SIGDOC
2003
ACM
16 years 3 days ago
2003
ACM
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction ...
191
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we extend anisotropic diffusion with a diffusion tensor to be applicable to data that is well modeled by linear models. We focus on its variational theory, and invest...