2448 search results - page 36 / 490 » The Octahedron Abstract Domain |
92
Voted
MOC
2000
15 years 8 days 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. ...
95
Voted
ICWE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The massive amount of textual data on the Web raises numerous classification problems. Although the notion of domain is widely acknowledged in the IR field, the applica...
106
Voted
CAV
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
95
Voted
IJCAI
2003
15 years 1 months ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
103
Voted
JAMDS
2002
15 years 5 days 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...