Sciweavers

532 search results - page 23 / 107
» Graphically abelian groups
Sort
View
ICRA
2005
IEEE
142views Robotics» more  ICRA 2005»
14 years 3 months ago
A Real-Time Haptic/Graphic Demonstration of how Error Augmentation can Enhance Learning
– We developed a real-time controller for a 2 degree-of-freedom robotic system using xPC Target. This system was used to investigate how different methods of performance error fe...
Yejun Wei, James L. Patton, Preeti Bajaj, Robert S...
ECAI
2004
Springer
14 years 1 months ago
Lakatos-Style Automated Theorem Modification
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
Simon Colton, Alison Pease
JSYML
2008
95views more  JSYML 2008»
13 years 9 months ago
Examples of non-locality
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
John T. Baldwin, Saharon Shelah
ICIAR
2010
Springer
14 years 2 months ago
Can Background Baroque Music Help to Improve the Memorability of Graphical Passwords?
Graphical passwords have been proposed as an alternative to alphanumeric passwords with their advantages in usability and security. However, they still tend to follow predictable p...
Haichang Gao, Xiuling Chang, Zhongjie Ren, Uwe Aic...
ICMLA
2008
13 years 11 months ago
Text, Image and Vector Graphics Based Appraisal of Contemporary Documents
We have designed a framework for content based appraisal of documents. Our motivation is to provide computer assisted support for answering several appraisal criteria according to...
Sang-Chul Lee, William McFadden, Peter Bajcsy