Sciweavers

3625 search results - page 340 / 725
» On choosing
Sort
View
ACCV
2007
Springer
16 years 1 months ago
TransforMesh : A Topology-Adaptive Mesh-Based Approach to Surface Evolution
Abstract. Most of the algorithms dealing with image based 3-D reconstruction involve the evolution of a surface based on a minimization criterion. The mesh parametrization, while a...
Andrei Zaharescu, Edmond Boyer, Radu Horaud
ADAEUROPE
2007
Springer
16 years 1 months ago
Modelling Remote Concurrency with Ada
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
Claude Kaiser, Christophe Pajault, Jean-Fran&ccedi...
AIED
2007
Springer
16 years 1 months ago
Does Learner Control Affect Learning?
Many intelligent tutoring systems permit some degree of learner control. A natural question is whether the increased student engagement and motivation such control provides results...
Joseph E. Beck
AIED
2007
Springer
16 years 1 months ago
Affect and Usage Choices in Simulation Problem-Solving Environments
We investigate the relationship between a student’s affect and how he or she chooses to use a simulation problem-solving environment, using quantitative field observations. Withi...
Ma. Mercedes T. Rodrigo, Ryan Shaun Joazeiro de Ba...
APN
2007
Springer
16 years 1 months ago
Improving Static Variable Orders Via Invariants
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqi...