5019 search results - page 793 / 1004 » Computing in Quotient Groups |
180
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
208
click to vote
WACV
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider the problem of autonomous navigation in unstructured outdoor terrains using vision sensors. The goal is for a robot to come into a new environment, map it and move to ...
186
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
MathGirls is a pedagogical-agent-based environment designed for high-school girls learning introductory algebra. Since females are in general more interested in interactive computi...
186
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Multi-agent systems designed to work collaboratively with groups of people typically require private information that people will entrust to them only if they have assurance that ...
200
click to vote
CIS
2007
Springer
16 years 1 months ago
2007
Springer
— Privacy is the claim of individuals, groups and institutions to determine for themselves, when, how and to what extent information about them is communicated to others. How to ...