Sciweavers

51 search results - page 8 / 11
» The Packing Property
Sort
View
CHI
2007
ACM
14 years 10 months ago
Shoogle: excitatory multimodal interaction on mobile devices
Shoogle is a novel, intuitive interface for sensing data within a mobile device, such as presence and properties of text messages or remaining resources. It is based around active...
John Williamson, Roderick Murray-Smith, Stephen Hu...
ICMCS
2007
IEEE
161views Multimedia» more  ICMCS 2007»
14 years 4 months ago
Generating High-Resolution Textures for 3D Virtual Environments using View-Independent Texture Mapping
Image based modeling and rendering techniques have become increasingly popular for creating and visualizing 3D models from a set of images. Typically, these techniques depend on v...
Charalambos Poullis, Suya You, Ulrich Neumann
DIAGRAMS
2006
Springer
14 years 1 months ago
Canonical Correlation Analysis: Use of Composite Heliographs for Representing Multiple Patterns
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
Asaf Degani, Michael G. Shafto, Leonard Olson
ESOP
2006
Springer
14 years 1 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
AAAI
1998
13 years 11 months ago
Solving Very Large Weakly Coupled Markov Decision Processes
We present a technique for computing approximately optimal solutions to stochastic resource allocation problems modeled as Markov decision processes (MDPs). We exploit two key pro...
Nicolas Meuleau, Milos Hauskrecht, Kee-Eung Kim, L...