Sciweavers

1095 search results - page 1 / 219
» Algebraic Guide Generation
Sort
View
IV
2009
IEEE
169views Visualization» more  IV 2009»
13 years 11 months ago
Algebraic Guide Generation
Suitable reference marks are an important part of creating an understandable visualization. The reference marks create the frame in which the data is understood, thereby preservin...
Joseph A. Cottam, Andrew Lumsdaine
ITS
2000
Springer
135views Multimedia» more  ITS 2000»
13 years 8 months ago
Analyzing and Generating Mathematical Models: An Algebra II Cognitive Tutor Design Study
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
Albert T. Corbett, Megan McLaughlin, K. Christine ...
COORDINATION
2006
Springer
13 years 8 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
13 years 10 months ago
Advanced Geometric Approach for Graphics and Visual Guided Robot Object Manipulation
— This paper presents an approach to deal with standard tasks of computer animations and robotics based on Conformal Geometric Algebra. We will show that this algebra is very wel...
Dietmar Hildenbrand, Eduardo Bayro-Corrochano, Jul...
ORDER
2006
128views more  ORDER 2006»
13 years 4 months ago
Algebras Defined from Ordered Sets and the Varieties they Generate
We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by the...
Joel Berman, Willem J. Blok