Sciweavers

10092 search results - page 1766 / 2019
» Active conditional models
Sort
View
SMA
2005
ACM
191views Solid Modeling» more  SMA 2005»
16 years 2 days ago
Poisson shape interpolation
In this paper, we propose a novel shape interpolation approach based on Poisson equation. We formulate the trajectory problem of shape interpolation as solving Poisson equations d...
Dong Xu, Hongxin Zhang, Qing Wang, Hujun Bao
AIED
2005
Springer
16 years 2 days ago
"Be bold and take a challenge": Could motivational strategies improve help-seeking?
We are exploring whether the use of facilities aimed at improving the learner’s motivation has an effect on learning food-chains and food-webs, but also on help-seeking behaviour...
Genaro Rebolledo-Mendez, Benedict du Boulay, Rosem...
AIED
2005
Springer
16 years 2 days ago
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction
: Two problem solving strategies, forward chaining and backward chaining, were compared to see how they affect students’ learning of geometry theorem proving with construction. I...
Noboru Matsuda, Kurt VanLehn
ATVA
2005
Springer
132views Hardware» more  ATVA 2005»
16 years 2 days ago
Flat Counter Automata Almost Everywhere!
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
Jérôme Leroux, Grégoire Sutre
CAISE
2005
Springer
16 years 2 days ago
Managing Inheritance Hierarchies in Object/Relational Mapping Tools
We study, in the context of object/relational mapping tools, the problem of describing mappings between inheritance hierarchies and relational schemas. To this end, we introduce a ...
Luca Cabibbo, Antonio Carosi
« Prev « First page 1766 / 2019 Last » Next »