2907 search results - page 138 / 582 » Presentations of Structures in Admissible Sets |
132
click to vote
BTW
2009
Springer
15 years 8 months ago
2009
Springer
: Today, service orientation is a well established concept in modern IT infrastructures. Web services and WS-BPEL as the two key technologies handle large structured data sets very...
130
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
126
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
123
click to vote
SODA
2004
ACM
15 years 6 months ago
2004
ACM
d Abstract] Robert Krauthgamer James R. Lee We present a simple deterministic data structure for maintaining a set S of points in a general metric space, while supporting proximit...
133
click to vote
MC
2008
15 years 6 months ago
2008
Field studies show that in many learning settings paper has intrinsic advantages over electronic documents. In this paper we present concepts for the collaborative annotation and ...