19798 search results - page 577 / 3960 » Is Structural Subtyping Useful |
147
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
120
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— We present a method for exploratory data analysis of large spatiotemporal data sets such as global longtime climate measurements, extending our previous work on semibli...
121
click to vote
ARITH
2005
IEEE
15 years 10 months ago
2005
IEEE
We introduce an inheritance property and related table lookup structures applicable to simplified evaluation of the modular operations “multiplicative inverse”, “discrete l...
148
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a versatile disambiguation approach which can be used to make explicit the meaning of structure based information such as XML schemas, XML document struc...
105
Voted
SOFSEM
2005
Springer
15 years 10 months ago
2005
Springer
Different structures are used in peer-to-peer networks to represent their inherently distributed, self-organized and decentralized memory structure. In this paper, a simple range...