2451 search results - page 13 / 491 » The Octagon Abstract Domain |
182
click to vote
VMCAI
2012
Springer
14 years 17 days ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
130
click to vote
AIRS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. As the type of content available on the web is becoming increasingly diverse, a particular challenge is to properly determine the types of documents sought by a user, tha...
136
Voted
MOC
2000
15 years 4 months ago
2000
Abstract. We study the convergence properties of the cascadic conjugategradient method (CCG-method), which can be considered as a multilevel method without coarse-grid correction. ...
149
click to vote
JAMDS
2002
15 years 4 months ago
2002
Abstract. In this paper we provide a simple proof of the extension theorem for partial orderings due to Suzumura [1983] when the domain of the partial order is finite. The extensio...
142
Voted
ICDE
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...