681 search results - page 106 / 137 » Combining Theorem Proving with Natural Language Processing |
LREC
2008
14 years 11 months ago
2008
This paper reports on the creation of the multimodal NIMITEK corpus of affected behavior in human-machine interaction and its role in the development of the NIMITEK prototype syst...
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
CIVR
2004
Springer
15 years 3 months ago
2004
Springer
We describe a multimedia, multilingual and multimodal research system (CIMWOS) supporting content-based indexing, archiving, retrieval and on-demand delivery of audiovisual content...
ASSETS
2005
ACM
14 years 11 months ago
2005
ACM
We propose an integrated approach to interactive word-completion for users with linguistic disabilities in which semantic knowledge combines with n-gram probabilities to predict s...
101
click to vote
ICMLA
2008
14 years 11 months ago
2008
In this paper we present a study on music mood classification using audio and lyrics information. The mood of a song is expressed by means of musical features but a relevant part ...