Incremental Model Selection for Detection and Tracking of Planar Surfaces | 7 | 0.60 | 2010 |
Ein Framework für Geometrieverarbeitung basierend auf hybriden Oberflächendarstellungen | 0 | 0.34 | 2010 |
Perspektiven der Wirtschaftsinformatik aus Sicht der Informatik | 1 | 0.36 | 2009 |
Constructing infinite graphs with a decidable MSO-theory | 20 | 1.17 | 2003 |
Model Checking and Satisfiability for Sabotage Modal Logic | 22 | 1.05 | 2003 |
An Evaluation Tool for Machine Translation: Fast Evaluation for MT Research | 29 | 7.97 | 2000 |
Guest Editorial: Interdisciplinary Uses of Scenarios | 1 | 0.41 | 1998 |
Formal Definition of UML's Package Concept | 5 | 1.33 | 1997 |
Conflict Analysis Across Heterogeneous Viewpoints: Formalization and Visualization | 6 | 1.10 | 1996 |
Relating the Implementation Techniques of Functional and Functional Logic Languages | 11 | 1.14 | 1993 |
The TEX-based document factory in a university environment: process model, implementation steps, experiences | 0 | 0.34 | 1986 |
Implicit representation of generalized variable upper bounds using the elimination form of the inverse on secondary storage. | 0 | 0.34 | 1984 |