Sciweavers

1012 search results - page 169 / 203
» What Robots Can Do
Sort
View
EDBT
2004
ACM
131views Database» more  EDBT 2004»
16 years 4 months ago
A Framework for Access Methods for Versioned Data
This paper presents a framework for understanding and constructing access methods for versioned data. Records are associated with version ranges in a version tree. A minimal repre...
Betty Salzberg, Linan Jiang, David B. Lomet, Manue...
IUI
2010
ACM
16 years 1 months ago
The why UI: using goal networks to improve user interfaces
People interact with interfaces to accomplish goals, and knowledge about human goals can be useful for building intelligent user interfaces. We suggest that modeling high, human-l...
Dustin Arthur Smith, Henry Lieberman
DIGRA
2005
Springer
15 years 10 months ago
Playful Play with Games: Linking Level Editing to Learning in Art and Design
The title ‘Playful Play with Games’ refers to the possibility of creative involvement with games by altering their structure in a playful way. The focus of this paper is on mo...
Maia Engeli
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 9 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
SIGCOMM
2003
ACM
15 years 9 months ago
A knowledge plane for the internet
We propose a new objective for network research: to build a fundamentally different sort of network that can assemble itself given high level instructions, reassemble itself as re...
David D. Clark, Craig Partridge, J. Christopher Ra...