Sciweavers

3007 search results - page 186 / 602
» Designing for collective remembering
Sort
View
PERVASIVE
2010
Springer
16 years 19 hour ago
12Pixels: Exploring Social Drawing on Mobile Phones
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...
Karl D. D. Willis, Ivan Poupyrev
AIME
2007
Springer
15 years 11 months ago
Machine Learning Techniques for Decision Support in Anesthesia
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...
Olivier Caelen, Gianluca Bontempi, Luc Barvais
125
Voted
CAV
2007
Springer
129views Hardware» more  CAV 2007»
15 years 11 months ago
BAT: The Bit-Level Analysis Tool
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...
Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...
DIS
2007
Springer
15 years 11 months ago
Machine Learning in Ecosystem Informatics
Ecosystem Informatics brings together mathematical and computational tools to address scientific and policy challenges in the ecosystem sciences. These challenges include novel s...
Thomas G. Dietterich
FSR
2007
Springer
164views Robotics» more  FSR 2007»
15 years 11 months ago
Experiments in Navigation and Mapping with a Hovering AUV
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...
George Kantor, Nathaniel Fairfield, Dominic Jonak,...