845 search results - page 100 / 169 » Connecting Many-Sorted Theories |
165
click to vote
IV
2003
IEEE
15 years 11 months ago
2003
IEEE
Visual metaphors describe cognitive processes in every part of life and function as a connection between what we see and what we think. Mental activities and perceptional interact...
169
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
136
click to vote
ICWL
2009
Springer
15 years 11 months ago
2009
Springer
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
163
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...
164
click to vote
COMPSYSTECH
2007
15 years 10 months ago
2007
: The paper proposes a different approach to data modeling. Analogous to the rejection method, where the misclassifications are removed and manually evaluated, we focus here on dif...