29046 search results - page 416 / 5810 » Computable Models |
129
click to vote
IANDC
2008
15 years 5 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
139
click to vote
IJCAT
2006
15 years 5 months ago
2006
: This article contributes to a growing body of design patterns in interaction design for cooperative work, while also describing how to go from field studies to design patterns. I...
134
click to vote
PR
2008
2008
Computation of a face attractiveness index based on neoclassical canons, symmetry, and golden ratios
15 years 5 months ago
Analysis of attractiveness of faces has long been a topic of research. Literature has identified many different factors that can be related to attractiveness. In this research we ...
161
click to vote
TC
2008
15 years 5 months ago
2008
In a distributed key distribution scheme, a set of servers help a set of users in a group to securely obtain a common key. Security means that an adversary who corrupts some server...
138
click to vote
COGSCI
2004
15 years 5 months ago
2004
This paper advocates the main ideas of the interactive model of representation of Mark Bickhard and the assimilation/accommodation framework of Jean Piaget, through a rhythm recog...