Sciweavers

8917 search results - page 477 / 1784
» Abstraction in Algorithm Animation
Sort
View
190
Voted
ASIAN
1998
Springer
133views Algorithms» more  ASIAN 1998»
15 years 11 months ago
Type Inference for First-Class Messages with Feature Constraints
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
Martin Müller, Susumu Nishimura
FODO
1998
Springer
263views Algorithms» more  FODO 1998»
15 years 11 months ago
On-Line Analytical Processing with Conceptual Information Systems
Abstract. A Conceptual Information System consists of a database together with conceptual hierarchies. The management system TOSCANA visualizes arbitrary combinations of conceptual...
Gerd Stumme
CIAC
1997
Springer
75views Algorithms» more  CIAC 1997»
15 years 11 months ago
Area Requirement of Gabriel Drawings
d abstract) G. Liotta1, R. Tamassia2, I. G. Tollis3, P. Vocca4 1 Dipartimento di Informatica e Sistemistica, Universita di Roma \La Sapienza", via Salaria 113, 00198 Rome, Ita...
Giuseppe Liotta, Roberto Tamassia, Ioannis G. Toll...
199
Voted
ECAI
1992
Springer
15 years 11 months ago
Phenomenology, Representations and Complexity
Abstract. The paper refutes the general phenomenological argument that knowledge cannot be completely represented by symbols and, hence, symbolic AI does not work. Moreover, the vi...
Achim G. Hoffmann
AI
2009
Springer
15 years 11 months ago
Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion
Abstract. A top-down parsing algorithm has been constructed to accommodate any form of ambiguous context-free grammar, augmented with semantic rules with arbitrary attribute depend...
Rahmatullah Hafiz