Sciweavers

391 search results - page 11 / 79
» Automatic programming with semantic streams
Sort
View
ICIW
2007
IEEE
15 years 2 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido
AAAI
1993
14 years 12 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
SAS
2007
Springer
15 years 4 months ago
Semantics-Based Transformation of Arithmetic Expressions
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
Matthieu Martel
CORR
2011
Springer
259views Education» more  CORR 2011»
14 years 5 months ago
Automatic Optimization for MapReduce Programs
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
Eaman Jahani, Michael J. Cafarella, Christopher R&...
WWW
2004
ACM
15 years 11 months ago
Optimization of html automatically generated by wysiwyg programs
Automatically generated HTML, as produced by WYSIWYG programs, typically contains much repetitive and unnecessary markup. This paper identifies aspects of such HTML that may be al...
Jacqueline Spiesser, Les Kitchen