Sciweavers

5227 search results - page 101 / 1046
» Constructing New Media
Sort
View
AAAI
1993
15 years 7 months ago
Learning Semantic Grammars with Constructive Inductive Logic Programming
Automating the construction of semantic grammars is a di cult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be vi...
John M. Zelle, Raymond J. Mooney
FFA
2008
62views more  FFA 2008»
15 years 6 months ago
A construction of one-dimensional affine flag-transitive linear spaces
The finite flag-transitive linear spaces which have an insoluble automorphism group were given a precise description in [BDD+90], and their classification has recently been comple...
Michael Pauley, John Bamberg
JSYML
2008
109views more  JSYML 2008»
15 years 6 months ago
Closed fragments of provability logics of constructive theories
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...
Albert Visser
DCOSS
2011
Springer
14 years 6 months ago
Construction of connected dominating sets in large-scale MANETs exploiting self-stabilization
—Available algorithms for the distributed construction of connected dominating sets in mobile ad hoc networks are inapplicable or suffer from a high complexity. This is mainly du...
Stefan Unterschutz, Volker Turau
GIS
2003
ACM
16 years 7 months ago
Constructing a dem from grid-based data by computing intermediate contours
We present a technique for creating a digital elevation model (DEM) from grid-based contour data. The method computes new, intermediate contours in between existing isolines. Thes...
Michael B. Gousie, Wm. Randolph Franklin