Sciweavers

1716 search results - page 278 / 344
» Generating models for temporal representations
Sort
View
VIS
2003
IEEE
247views Visualization» more  VIS 2003»
14 years 10 months ago
Shape Simplification Based on the Medial Axis Transform
We present a new algorithm for simplifying the shape of 3D objects by manipulating their medial axis transform (MAT). From an unorganized set of boundary points, our algorithm com...
Roger C. Tam, Wolfgang Heidrich
CADE
2007
Springer
14 years 9 months ago
System Description: E-KRHyper
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
Björn Pelzer, Christoph Wernhard
AIED
2009
Springer
14 years 3 months ago
Identifying strategies in user's exploratory learning behaviour for mathematical generalisation
Abstract. The nature of the activities that take place in Exploratory Learning Environments allow generating a variety of learner trajectories and makes difficult to develop a mod...
Mihaela Cocea, George D. Magoulas
AIED
2007
Springer
14 years 3 months ago
Learning Tutorial Rules Using Classification Based On Associations
Rules have been showed to be appropriate representations to model tutoring and can be easily applied to intelligent tutoring systems. We applied a machine learning technique, Class...
Xin Lu, Barbara Di Eugenio, Stellan Ohlsson
WAPCV
2004
Springer
14 years 2 months ago
Combining Conspicuity Maps for hROIs Prediction
Bottom-up cortical representations of visual conspicuity interact with top-down internal cognitive models of the external world to control eye movements, EMs, and the closely linke...
Claudio M. Privitera, Orazio Gallo, Giorgio Grimol...