Sciweavers

7335 search results - page 883 / 1467
» Scene Based Reasoning
Sort
View
211
Voted
NAACL
2004
15 years 8 months ago
Paraphrasing Predicates from Written Language to Spoken Language Using the Web
There are a lot of differences between expressions used in written language and spoken language. It is one of the reasons why speech synthesis applications are prone to produce un...
Nobuhiro Kaji, Masashi Okamoto, Sadao Kurohashi
KRDB
2001
110views Database» more  KRDB 2001»
15 years 8 months ago
Path Constraints from a Modal Logic Point of View
We analyze several classes of path constraints for semistructured data in a unified framework and prove some decidability and complexity results for these constraints by embedding...
Natasha Alechina, Stéphane Demri, Maarten d...
165
Voted
NIPS
2004
15 years 8 months ago
Support Vector Classification with Input Data Uncertainty
This paper investigates a new learning model in which the input data is corrupted with noise. We present a general statistical framework to tackle this problem. Based on the stati...
Jinbo Bi, Tong Zhang
IJCAI
2003
15 years 8 months ago
Automated Verification: Graphs, Logic, and Automata
Automated verification is one of the most success­ ful applications of automated reasoning in com­ puter science. In automated verification one uses algorithmic techniques to es...
Moshe Y. Vardi
AAAI
1998
15 years 8 months ago
A Fuzzy Description Logic
In this paper we present a fuzzy version of SHOIN(D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasonin...
Umberto Straccia