Sciweavers

1956 search results - page 129 / 392
» A Critical View of Context
Sort
View
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
15 years 11 months ago
Path-dependent gaze control for obstacle avoidance in vision guided humanoid walking
Abstract— This article presents a novel gaze control strategy for obstacle avoidance in the context of vision guided humanoid walking. The generic strategy is based on the maximi...
Javier F. Seara, Klaus H. Strobl, Günther Sch...
MKM
2009
Springer
15 years 11 months ago
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...
Andrea Kohlhase, Michael Kohlhase
PEPM
1998
ACM
15 years 10 months ago
Eta-Redexes in Partial Evaluation
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
Jens Palsberg
ACMIDC
2009
15 years 10 months ago
"Playing with" museum exhibits: designing educational games mediated by mobile technology
In this paper, we describe two educational games mediated by mobile technology which were designed for use in the context of a traditional historical museum by young children. Our...
Nikoleta Yiannoutsou, Ioanna Papadimitriou, Vassil...
ERSHOV
2006
Springer
15 years 10 months ago
A Formal Model of Data Privacy
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
Phiniki Stouppa, Thomas Studer