Sciweavers

1527 search results - page 69 / 306
» What About Wednesday
Sort
View

Book
1331views
15 years 8 months ago
Spatial Reasoning: Theory and Practice
"Spatial structures and spatial reasoning are essential to perception and cognition. Much day-to-day practical information is about what happens at certain spatial locations....
M. Aiello
CHI
2010
ACM
14 years 3 months ago
Children's roles using keyword search interfaces at home
Children want to find information about their world, but there are barriers to finding what they seek. Young people have varying abilities to formulate complex queries and compreh...
Allison Druin, Elizabeth Foss, Hilary Hutchinson, ...
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
14 years 2 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
UM
2005
Springer
14 years 2 months ago
Motion-Based Adaptation of Information Services for Mobile Users
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...
Mathias Bauer, Matthieu Deru
CSCW
1996
ACM
14 years 1 months ago
A Usability Study of Awareness Widgets in a Shared Workspace Groupware System
Workspace awareness is knowledge about others' interaction with a shared workspace. Groupware systems provide only limited information about other participants, often comprom...
Carl Gutwin, Mark Roseman, Saul Greenberg