9989 search results - page 1670 / 1998 » A CLP Approach to Modelling Systems |
163
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Video genre identification methods are frequently based on image or motion analysis, which are relatively timeconsuming processes. Since such approaches are tractable by batch pro...
296
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
165
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
Sharing life-log information in a social community has many advantages, both for the user and society. But sharing any type of personal information is a threat to privacy. In parti...
150
click to vote
ACL
2009
15 years 4 months ago
2009
The development of Dialog-Based ComputerAssisted Language Learning (DB-CALL) systems requires research on the simulation of language learners. This paper presents a new method for...
186
Voted
EMNLP
2009
15 years 4 months ago
2009
We present a novel approach for multilingual document clustering using only comparable corpora to achieve cross-lingual semantic interoperability. The method models document colle...