Sciweavers

5401 search results - page 312 / 1081
» Using Versions in GIS
Sort
View
201
Voted
ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
15 years 12 months ago
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
Benedikt Bollig, Martin Leucker
COMPSAC
2002
IEEE
15 years 11 months ago
Metadata Support for Safe Component Upgrades
Component platforms play a major role in current distributed information systems. As these systems evolve, components need to be upgraded without breaking the consistency of compo...
Premysl Brada
ICPR
2000
IEEE
15 years 11 months ago
A New Approach to Speech-Input Statistical Translation
The statistical pattern recognition is a promising framework for text-to-text translation. However, a natural extension to speech-input translation is not straightforward. In this...
Ismael García-Varea, Alberto Sanchís...
IDEAS
1999
IEEE
134views Database» more  IDEAS 1999»
15 years 11 months ago
The EyeDB OODBMS
This paper introduces the EYEDB Object Oriented DataBase Management System (OODBMS). EYEDB implements all the standard features of OODBMS, is language oriented, provides a generic...
Eric Viara, Emmanuel Barillot, Guy Vaysseix
ICALP
1994
Springer
15 years 10 months ago
Simple Fast Parallel Hashing
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
Joseph Gil, Yossi Matias