Sciweavers

2335 search results - page 230 / 467
» Type Checking Type Classes
Sort
View
LPNMR
2005
Springer
14 years 4 months ago
A DLP System with Object-Oriented Features
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
Francesco Ricca, Nicola Leone, Valerio De Bonis, T...
INFOVIS
2002
IEEE
14 years 3 months ago
Visual Unrolling of Network Evolution and the Analysis of Dynamic Discourse
A new method for visualizing the class of incrementally evolving networks is presented. In addition to the intermediate states of the network it conveys the nature of the change b...
Ulrik Brandes, Steven R. Corman
AAECC
2001
Springer
121views Algorithms» more  AAECC 2001»
14 years 3 months ago
Algorithms for Large Integer Matrix Problems
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
Mark Giesbrecht, Michael J. Jacobson Jr., Arne Sto...
HPCA
1998
IEEE
14 years 3 months ago
Challenging Applications on Fast Networks
Parallel computing on clusters of workstations is attractive because of the low costs in comparison to MPPs, but the speed of the local area network limits the class of applicatio...
Koen Langendoen, Rutger F. H. Hofman, Henri E. Bal
SAFECOMP
1998
Springer
14 years 3 months ago
Fault-Tolerant Communication in Large-Scale Manipulators
Abstract. In this paper concepts for fault-tolerant communication systems in large-scale manipulators for heavy weights are introduced. This class of robots makes high demands on s...
Hans-Dieter Kochs, Walter Geisselhardt, Holger Hil...