Sciweavers

896 search results - page 73 / 180
» On completeness of word reversing
Sort
View
116
Voted
ISSTA
1996
ACM
15 years 5 months ago
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
Daniel Jackson, Craig Damon
LREC
2008
88views Education» more  LREC 2008»
15 years 2 months ago
Lexical Substitution as a Framework for Multiword Evaluation
In this paper we analyse data from the SemEval lexical substitution task in those cases where the annotators indicated that the target word was part of a phrase before substitutin...
Diana McCarthy
105
Voted
APPINF
2003
15 years 2 months ago
Robotic Societies: Elements of Learning by Imitation
Imitation enables the individuals to acquire new abilities, and encourages social interaction and cultural transfer. The capability to obtain new abilities by observation represen...
Carlos Antonio Acosta Calderon, Huosheng Hu
119
Voted
CSJM
2008
112views more  CSJM 2008»
15 years 26 days ago
About Precise Characterization of Languages Generated by Hybrid Networks of Evolutionary Processors with One Node
A hybrid network of evolutionary processors (an HNEP) is a graph where each node is associated with an evolutionary processor (a special rewriting system), a set of words, an inpu...
Artiom Alhazov, Yurii Rogozhin
97
Voted
ICDAR
2009
IEEE
14 years 10 months ago
ICDAR 2009 Handwriting Recognition Competition
This paper describes the handwriting recognition competition held at ICDAR 2009. This competition is based on the RIMES-database, with French written text documents. These documen...
Emmanuele Grosicki, Haikal El Abed