8228 search results - page 306 / 1646 » Structural Logical Relations |
194
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
When comparing inductive logic programming (ILP) and attribute-value learning techniques, there is a trade-off between expressive power and efficiency. Inductive logic programming ...
180
click to vote
SIBGRAPI
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper proposes a model-based methodology for recognizing and tracking objects in digital image sequences. Objects are represented by attributed relational graphs (or ARGs), w...
185
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
162
click to vote
JSW
2008
15 years 6 months ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
212
click to vote
IADIS
2004
15 years 8 months ago
2004
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...