Sciweavers

126 search results - page 4 / 26
» Definitional Trees
Sort
View
CL
2000
Springer
14 years 9 months ago
Associative definition of programming languages
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluig...
AML
2002
70views more  AML 2002»
14 years 9 months ago
On the formal points of the formal topology of the binary tree
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
Silvio Valentini
CORR
2010
Springer
90views Education» more  CORR 2010»
14 years 9 months ago
Upward Point-Set Embeddability
We study the problem of Upward Point-Set Embeddability, that is the problem of deciding whether a given upward planar digraph D has an upward planar embedding into a point set S. W...
Markus Geyer, Michael Kaufmann, Tamara Mchedlidze,...
SODA
2004
ACM
151views Algorithms» more  SODA 2004»
14 years 11 months ago
Minimum moment Steiner trees
For a rectilinear Steiner tree T with a root, define its k-th moment Mk(T) = T (dT (u))k du, where the integration is over all edges of T, dT (u) is the length of the unique path ...
Wangqi Qiu, Weiping Shi
SDM
2008
SIAM
197views Data Mining» more  SDM 2008»
14 years 11 months ago
A general framework for estimating similarity of datasets and decision trees: exploring semantic similarity of decision trees
Decision trees are among the most popular pattern types in data mining due to their intuitive representation. However, little attention has been given on the definition of measure...
Irene Ntoutsi, Alexandros Kalousis, Yannis Theodor...