Sciweavers

386 search results - page 42 / 78
» Contextual Inference in Computational Semantics
Sort
View
CADE
2007
Springer
14 years 2 months ago
Semantic Selection of Premisses for Automated Theorem Proving
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
Petr Pudlak
CHI
2005
ACM
14 years 9 months ago
Programmatic semantics for natural language interfaces
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
Hugo Liu, Henry Lieberman
ECCV
2010
Springer
13 years 6 months ago
Supervised Label Transfer for Semantic Segmentation of Street Scenes
In this paper, we propose a robust supervised label transfer method for the semantic segmentation of street scenes. Given an input image of street scene, we first find multiple ima...
Honghui Zhang, Jianxiong Xiao, Long Quan
CSREAPSC
2006
13 years 10 months ago
An Inexact Matching Method Based on Ontology and Semantic Distance for Resource Discovery and Interaction
- To overcome shortcomings of Exact Matching Method (EMM) and Substitute Description Method (SDM), an Inexact Matching Method Based on Ontology and Semantic Distance (OSDIMM) is in...
Tang Shancheng, Qian Yi, Wang Wei
CVPR
2007
IEEE
14 years 10 months ago
Learning Motion Categories using both Semantic and Structural Information
Current approaches to motion category recognition typically focus on either full spatiotemporal volume analysis (holistic approach) or analysis of the content of spatiotemporal in...
Shu-Fai Wong, Tae-Kyun Kim, Roberto Cipolla