Sciweavers

436 search results - page 49 / 88
» A Note on Negligible Functions
Sort
View
EACL
2003
ACL Anthology
14 years 11 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...
CLEF
2010
Springer
14 years 11 months ago
RGU at ImageCLEF2010 Wikipedia Retrieval Task
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...
Jun Wang, Dawei Song, Leszek Kaliciak
APPML
2007
92views more  APPML 2007»
14 years 10 months ago
On some homogenization problems from shallow water theory
This note is devoted to the effect of topography on geophysical flows. We consider two models derived from shallow water theory: the quasigeostrophic equation and the lake equati...
Didier Bresch, David Gérard-Varet
CORR
2008
Springer
113views Education» more  CORR 2008»
14 years 10 months ago
Generalized Modal Satisfiability
It is well-known that modal satisfiability is PSPACE-complete [Lad77]. However, the complexity may decrease if we restrict the set of propositional operators used. Note that there ...
Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor
ARSCOM
2002
70views more  ARSCOM 2002»
14 years 9 months ago
On the Number of Graphical Forest Partitions
A graphical partition of the even integer n is a partition of n where each part of the partition is the degree of a vertex in a simple graph and the degree sum of the graph is n. ...
Deborah A. Frank, Carla D. Savage, James A. Seller...