Sciweavers

3424 search results - page 190 / 685
» Building Diverse Computer Systems
Sort
View
TCS
2008
13 years 8 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
GCC
2003
Springer
14 years 1 months ago
Leveraging Duplicates to Improve File Availability of P2P Storage Systems
This paper proposes a strategy of improving file availability of peer-to-peer file storage systems, which provides the ability of identifying duplicate files and leveraging the ...
Min Qu, Yafei Dai, Mingzhong Xiao
COLING
1994
13 years 9 months ago
Machine-Readable Dictionaries in Text-to-Speech Systems
This paper presents the results of an experiment usiug machine-readable dictionaries (Mill)s) and corpora for building concatenativc units for text to speech (T'PS) systems. ...
Judith Klavans, Evelyne Tzoukermann
TGIS
2008
80views more  TGIS 2008»
13 years 8 months ago
Defining a Digital Earth System
In a 1998 speech before the California Science Center in Los Angeles, then US VicePresident Al Gore called for a global undertaking to build a multi-faceted computing system for e...
Karl E. Grossner, Michael F. Goodchild, Keith C. C...
CAIP
2009
Springer
185views Image Analysis» more  CAIP 2009»
14 years 2 months ago
Coarse-to-Fine Tracking of Articulated Objects Using a Hierarchical Spring System
Abstract. Tracking of articulated objects is a challenging task in Computer Vision. A highly target specific model can improve the robustness of the tracking by eliminating or red...
Nicole M. Artner, Adrian Ion, Walter G. Kropatsch