Sciweavers

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

Book
1331views
17 years 4 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
16 years 7 days 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»
15 years 11 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
15 years 11 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
15 years 9 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