2152 search results - page 170 / 431 » On Automating the Calculus of Relations |
153
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...
179
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
174
click to vote
DLOG
2007
15 years 8 months ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
149
click to vote
DLOG
1998
15 years 7 months ago
1998
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equi...
178
click to vote
GIS
2009
ACM
15 years 4 months ago
2009
ACM
Future driver assistance systems will require highly accurate positioning. One way to achieve this is by using on-board sensors to measure the relative location of landmarks for w...