5671 search results - page 881 / 1135 » A Semantic Approach to Interpolation |
195
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Data mining allows the exploration of sequences of phenomena, whereas one usually tends to focus on isolated phenomena or on the relation between two phenomena. It offers invaluab...
178
click to vote
JAIR
2006
15 years 6 months ago
2006
Multimodal conversational interfaces provide a natural means for users to communicate with computer systems through multiple modalities such as speech and gesture. To build effect...
180
click to vote
JAIR
2006
15 years 6 months ago
2006
We present a novel framework for integrating prior knowledge into discriminative classifiers. Our framework allows discriminative classifiers such as Support Vector Machines (SVMs...
149
Voted
JOLLI
2006
15 years 6 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...