3007 search results - page 186 / 602 » Designing for collective remembering |
131
click to vote
PERVASIVE
2010
Springer
16 years 19 hour ago
2010
Springer
In this paper we present the design and development of 12Pixels, a novel interface, application, and social web service that allows people to create and share drawings directly fro...
143
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...
125
Voted
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
159
click to vote
DIS
2007
Springer
15 years 11 months ago
2007
Springer
Ecosystem Informatics brings together mathematical and computational tools to address scientific and policy challenges in the ecosystem sciences. These challenges include novel s...
153
click to vote
FSR
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes the basic control, navigation, and mapping methods and experiments a hovering autonomous underwater vehicle (AUV) designed to explore flooded cenotes in Mexi...