Sciweavers

2501 search results - page 313 / 501
» Semiotics and Intelligent Control
Sort
View
106
Voted
AGP
1996
IEEE
15 years 2 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
91
Voted
AUSAI
1997
Springer
15 years 2 months ago
Integrated Correction of Ill-Formed Sentences
This paper describes a system that performs hierarchical error recovery, and detects and corrects a single error in a sentence at the lexical, syntactic, and/or semantic levels. I...
Kyongho Min, William H. Wilson
77
Voted
ECAI
1994
Springer
15 years 2 months ago
Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...
Mugur M. Tatar
ACAL
2009
Springer
15 years 2 months ago
An Empirical Exploration of a Definition of Creative Novelty for Generative Art
Abstract. We explore a new definition of creativity -- one which emphasizes the statistical capacity of a system to generate previously unseen patterns -- and discuss motivations f...
Taras Kowaliw, Alan Dorin, Jon McCormack
AIME
2007
Springer
15 years 2 months ago
An Experiment in Automatic Classification of Pathological Reports
Abstract. Medical reports are predominantly written in natural language; as such they are not computer-accessible. A common way to make medical narrative accessible to automated sy...
Janneke van der Zwaan, Erik F. Tjong Kim Sang, Maa...