Sciweavers

2944 search results - page 282 / 589
» Robust Semantic Construction
Sort
View
JELIA
2004
Springer
16 years 3 days ago
Explaining Subsumption by Optimal Interpolation
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
Stefan Schlobach
CIE
2010
Springer
15 years 11 months ago
Higher-Order Containers
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
Thorsten Altenkirch, Paul Levy, Sam Staton
COSIT
1999
Springer
132views GIS» more  COSIT 1999»
15 years 11 months ago
Pictorial and Verbal Tools for Conveying Routes
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...
Barbara Tversky, Paul U. Lee
TACAS
1997
Springer
105views Algorithms» more  TACAS 1997»
15 years 11 months ago
Graphs in METAFrame: The Unifying Power of Polymorphism
We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The exibility of this tool, whic...
Michael von der Beeck, Volker Braun, Andreas Cla&s...
AH
2006
Springer
15 years 10 months ago
A Model for Personalized Learning Through IDTV
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...
Marta Rey-López, Ana Fernández Vilas...