Sciweavers

51 search results - page 8 / 11
» The Packing Property
Sort
View
CHI
2007
ACM
16 years 6 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»
16 years 23 days 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
15 years 10 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
171
Voted
ESOP
2006
Springer
15 years 10 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
15 years 7 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...