500 search results - page 15 / 100 » Quantified Conditionals and Compositionality |
ACL
2006
13 years 8 months ago
2006
Spoken Language Understanding (SLU) addresses the problem of extracting semantic meaning conveyed in an utterance. The traditional knowledge-based approach to this problem is very...
AES
2007
Springer
13 years 7 months ago
2007
Springer
An iterative numerical technique has been developed to simulate in detail the dynamics of a shallow-layer gravity settler. Currently acknowledged models apply only to specific eq...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
We present a novel technique, termed attached shadow coding, for estimating surface normals from shadows when the reflectance and lighting conditions are unknown. Our key idea is ...
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
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...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...