Sciweavers

2585 search results - page 316 / 517
» computing 1999
Sort
View
DIALM
1999
ACM
113views Algorithms» more  DIALM 1999»
15 years 8 months ago
Flooding for reliable multicast in multi-hop ad hoc networks
Ad hoc networks are gaining popularity as a result of advances in smaller, more versatile and powerful mobile computing devices. The distinguishing feature of these networks is the...
Christopher Ho, Katia Obraczka, Gene Tsudik, Kumar...
DOLAP
1999
ACM
15 years 8 months ago
Aggregation Everywhere: Data Reduction and Transformation in the Phoenix Data Warehouse
This paper describes the Phoenix system, which loads a data warehouse and then reports against it. Between the raw atomic data of the source system and the business measures prese...
Steven Tolkin
ICAIL
1999
ACM
15 years 8 months ago
Intelligent jurisprudence research: a new concept
Intelligent Jurisprudence Research (IJR) is a concept that consists in performing jurisprudence research with a computational tool that employs Artificial Intelligence (AI) techni...
Rosina Weber
ICFP
1999
ACM
15 years 8 months ago
A Simple Proof Technique for Certain Parametricity Results
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
Karl Crary
MOBICOM
1999
ACM
15 years 8 months ago
Next Century Challenges: Nexus - An Open Global Infrastructure for Spatial-Aware Applications
Due to the lack of a generic platform for location- and spatial-aware systems, many basic services have to be reimplemented in each application that uses spatial-awareness. A coop...
Fritz Hohl, Uwe Kubach, Alexander Leonhardi, Kurt ...