Sciweavers

2625 search results - page 224 / 525
» Applications 2000
Sort
View
IJCAI
2003
15 years 7 months ago
Decidability of SHIQ with Complex Role Inclusion Axioms
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...
Ian Horrocks, Ulrike Sattler
NDJFL
2000
97views more  NDJFL 2000»
15 years 5 months ago
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
Crispin Wright
TIME
2000
IEEE
15 years 10 months ago
Navigating through Hierarchical Change Propagation in Spatiotemporal Queries
In spatiotemporal applications, meaningful changes vary according to object type, level of detail, and nature of application. In this paper, we introduce a dynamic classification ...
Giorgos Mountrakis, Peggy Agouris, Anthony Stefani...
CIKM
2000
Springer
15 years 9 months ago
Visual Query and Analysis Tool of the Object-Relational GIS Framework
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
Zoran Stojanovic, Slobodanka Djordjevic-Kajan, Dra...
QOFIS
2000
Springer
15 years 9 months ago
The Direct Adjustment Algorithm: A TCP-Friendly Adaptation Scheme
Many distributed multimedia applications have the ability to adapt to uctuations in the network conditions. By adjusting temporal and spatial quality to available bandwidth, or man...
Dorgham Sisalem, Henning Schulzrinne