281 search results - page 46 / 57 » System RX: One Part Relational, One Part XML |
ERCIMDL
2009
Springer
14 years 2 months ago
2009
Springer
In this demonstration we will examine the effectiveness of Geographic Information Retrieval (GIR) methods in digital library interfaces. We will show how various types of informat...
TPHOL
1999
IEEE
14 years 5 days ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
VLDB
1998
ACM
14 years 3 days ago
1998
ACM
Oracle Parallel Server (OPS) is a shared disk RDBMS. We present a high level overview of the main architectural issues of OPS and their evolution throughout the releases of the Or...
CHI
1997
ACM
14 years 3 days ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
GIS
2004
ACM
14 years 9 months ago
2004
ACM
Online multi-participant virtual-world systems have attracted significant interest from the Internet community but are hindered by their inability to efficiently support interacti...