Sciweavers

1239 search results - page 192 / 248
» Control Generation for Logic Programs
Sort
View
ICSOC
2005
Springer
15 years 7 months ago
A Service Oriented Architecture for Deploying and Managing Network Services
Abstract. New generation network services must be deployed and managed according to the specific customer requirements. In this context, service providers must devise a way to des...
Victor A. S. M. de Souza, Eleri Cardozo
GIS
1992
ACM
15 years 6 months ago
Machine Induction of Geospatial Knowledge
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
Peter A. Whigham, Robert I. McKay, J. R. Davis
TLDI
2003
ACM
135views Formal Methods» more  TLDI 2003»
15 years 7 months ago
Typed compilation of recursive datatypes
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, K...
PLDI
2010
ACM
15 years 11 months ago
A Context-free Markup Language for Semi-structured Text
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
Qian Xi, David Walker
PASTE
2010
ACM
15 years 3 months ago
Packrat parsers can handle practical grammars in mostly constant space
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...
Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi