4211 search results - page 502 / 843 » Types as Abstract Interpretations |
154
click to vote
COLT
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
158
click to vote
DEXA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Recent works in XML change detection have focused on detecting changes to ordered or unordered XML documents. However, in real life XML documents may not always be purely...
186
click to vote
GPCE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
150
click to vote
HUC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Our goal in this paper is to clearly delineate how households currently manage communication and coordination information; this will provide practitioners and designers w...
190
click to vote
MFCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Feige and Kilian [5] showed that finding reasonable approximative solutions to the coloring problem on graphs is hard. This motivates the quest for algorithms that eithe...