Sciweavers

2749 search results - page 45 / 550
» Physical Design of the
Sort
View
BIRTHDAY
2007
Springer
14 years 1 months ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
ICMCS
2009
IEEE
105views Multimedia» more  ICMCS 2009»
13 years 7 months ago
High school physics pathway: Teachers helping teachers through synthetic interviews
This paper highlights the iterative development of a dynamic web environment for exploring physics pedagogy: the Physics Teaching Web Advisory, Pathway. The formative evaluation o...
Michael G. Christel, Scott M. Stevens, Huan Li, De...
TEI
2010
ACM
131views Hardware» more  TEI 2010»
14 years 4 months ago
SOPHYA: a system for digital management of ordered physical document collections
In recent years several systems have been developed to integrate the management of physical and digital documents and artefacts. These systems, which often rely on technologies su...
Matthew Jervis, Masood Masoodian
UMUAI
2002
76views more  UMUAI 2002»
13 years 9 months ago
User Models and User Physical Capability
Current interface design practices are based on user models and descriptions derived almost exclusively from studies of able-bodied users (Keates et al., 1999). However, such users...
Simeon Keates, Patrick Langdon, P. John Clarkson, ...
HRI
2011
ACM
13 years 1 months ago
Human-robot proxemics: physical and psychological distancing in human-robot interaction
To seamlessly integrate into the human physical and social environment, robots must display appropriate proxemic behavior—that is, follow societal norms in establishing their ph...
Jonathan Mumm, Bilge Mutlu