1021 search results - page 158 / 205 » Pure Subtype Systems |
CIKM
2004
Springer
14 years 2 months ago
2004
Springer
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
CCGRID
2003
IEEE
14 years 2 months ago
2003
IEEE
Formation of suitable overlay-network topologies that are able to reflect the structure of the underlying network-infrastructure, has rarely been addressed by peer-to-peer applic...
ISMAR
2003
IEEE
14 years 2 months ago
2003
IEEE
We present a fully automated approach to camera registration for Augmented Reality systems. It relies on purely passive vision techniques to solve the initialization and realtime ...
FOSSACS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
ILP
2003
Springer
14 years 2 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...