Sciweavers

10689 search results - page 31 / 2138
» How informances can be used in design ethnography
Sort
View
VSTTE
2005
Springer
14 years 25 days ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
AROBOTS
2006
97views more  AROBOTS 2006»
13 years 7 months ago
How a mobile robot selects landmarks to make a decision based on an information criterion
Most current mobile robots are designed to determine their actions according to their positions. Before making a decision, they need to localize themselves. Thus, their observation...
Noriaki Mitsunaga, Minoru Asada
CHI
2008
ACM
14 years 7 months ago
Where no interface has gone before: what can the phaser teach us about label usage in hci?
Most research on how people represent procedures suggests that control labels are central. However, our data suggest that even moderately-experienced users do not rely on labels t...
Franklin P. Tamborello II, Phillip H. Chung, Micha...
CHI
2010
ACM
14 years 2 months ago
A longitudinal study of how highlighting web content change affects people's web interactions
The Web is constantly changing, but most tools used to access Web content deal only with what can be captured at a single instance in time. As a result, Web users may not have a g...
Jaime Teevan, Susan T. Dumais, Daniel J. Liebling
CORR
2011
Springer
193views Education» more  CORR 2011»
12 years 11 months ago
How Unique and Traceable are Usernames?
Abstract. Usernames are ubiquitously used for identification and authentication purposes on web services and the Internet at large, ranging from the local-part of email addresses ...
Daniele Perito, Claude Castelluccia, Mohamed Ali K...