4355 search results - page 330 / 871 » From Interpretation to Compilation |
187
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
A knowledge representation formalism for SLU is introduced. It is used for incremental and partially automated annotation of the MEDIA corpus in terms of semantic structures. An a...
151
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
165
click to vote
GBRPR
2007
Springer
16 years 27 days ago
2007
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...
173
click to vote
ICCBR
2007
Springer
16 years 27 days ago
2007
Springer
The aim of this paper is to analyze how the generalizations built by a CBR method can be used as local approximations of a concept. From this point of view, these local approximati...
164
click to vote
IVA
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we propose to endow a graphical representation of a user in Instant Messaging – an avatar – with the ability to recognize and to express emotions and to play soc...