3191 search results - page 323 / 639 » Qualitative Modeling in Education |
116
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
178
click to vote
SIGMOD
2007
ACM
16 years 28 days ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...
134
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper, we deal with a generative model for multi-label, interactive segmentation. To estimate the pixel likelihoods for each label, we propose a new higher-order formulatio...
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
OZCHI
2006
ACM
15 years 6 months ago
2006
ACM
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...