Sciweavers

2693 search results - page 116 / 539
» On Computing Complex Navigation Functions
Sort
View
SAC
2006
ACM
15 years 2 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
JMLR
2012
13 years 4 months ago
Structured Output Learning with High Order Loss Functions
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...
Daniel Tarlow, Richard S. Zemel
GW
2003
Springer
174views Biometrics» more  GW 2003»
15 years 7 months ago
Gesture Components for Natural Interaction with In-Car Devices
Abstract. The integration of more and more functionality into the human machine interface (HMI) of vehicles increases the complexity of device handling. Thus optimal use of differ...
Martin Zobl, Ralf Nieschulz, Michael Geiger, Manfr...
EACL
2003
ACL Anthology
15 years 3 months ago
Talking through Procedures: An Intelligent Space Station Procedure Assistant
We present a prototype system aimed at providing spoken dialogue support for complex procedures aboard the International Space Station. The system allows navigation one line at a ...
Gregory Aist, John Dowding, Beth Ann Hockey, Manny...
ICMCS
2010
IEEE
232views Multimedia» more  ICMCS 2010»
15 years 3 months ago
The "3D Wiki": Blending virtual worlds and Web architecture for remote collaboration
While a lot of technical data is available on the Web, conveying information about detailed procedures for the assembly and repair of complex machinery has so far been limited mos...
Michael Roberts, Nicolas Ducheneaut, Trevor F. Smi...