1746 search results - page 183 / 350 » A Constructive Semantics for ALC |
173
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...
160
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The exibility of this tool, whic...
187
click to vote
AH
2006
Springer
15 years 9 months ago
2006
Springer
Interactive Digital TV (IDTV) opens new learning possibilities where new forms of education are needed. In this paper we explain a new conception of t-learning experiences where TV...
160
click to vote
CIVR
2006
Springer
15 years 9 months ago
2006
Springer
This paper proposes a novel approach for the construction and use of multi-feature spaces in image classification. The proposed technique combines low-level descriptors and defines...
145
Voted
VLDB
1987
ACM
15 years 9 months ago
1987
ACM
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...