Sciweavers

11752 search results - page 124 / 2351
» Those
Sort
View
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 2 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
UML
2001
Springer
15 years 2 months ago
Catalytic Modeling: UML meets XP
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
Alan Wills
WDAG
2001
Springer
107views Algorithms» more  WDAG 2001»
15 years 2 months ago
Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks
Self-stabilizing algorithms for constructing a spanning tree of an arbitrary network have been studied for many models of distributed networks including those that communicate via ...
Lisa Higham, Zhiying Liang
AUIC
2000
IEEE
15 years 2 months ago
Evaluation of Animation Effects to Improve Indirect Manipulation
This paper describes an experiment we have conducted to explore the effectiveness of animation in improving indirect manipulation operations. Indirect manipulation operations are ...
Bruce H. Thomas, Victor Demczuk
ICPR
2000
IEEE
15 years 2 months ago
Modeling Range Images with Bounded Error Triangular Meshes without Optimization
This paper presents a new technique for approximating range images by means of adaptive triangular meshes with a bounded approximation error and without applying optimization. Thi...
Angel Domingo Sappa, Miguel Angel García