1364 search results - page 37 / 273 » Comparative Branching-Time Semantics |
AAAI
2008
15 years 2 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
IRAL
2003
ACM
15 years 5 months ago
2003
ACM
In this paper, we focus on performing LSI on very low SVD dimensions. The results show that there is a nearly linear surface in the local query region. Using low-dimensional LSI o...
108
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
Abstract. As comparatively powerful mobile computing devices are becoming more common, mobile web applications have started gaining in popularity. In this paper we present an appro...
103
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Conventional approaches to automatic image annotation usually suffer from two problems: (1) They cannot guarantee a good semantic coherence of the annotated words for each image, ...
ACL
2007
15 years 1 months ago
2007
There is little consensus on a standard experimental design for the compound interpretation task. This paper introduces wellmotivated general desiderata for semantic annotation sc...