Sciweavers

2042 search results - page 236 / 409
» Automatic Understanding of Signals
Sort
View
139
Voted
FMSD
2007
138views more  FMSD 2007»
15 years 3 months ago
Object oriented concepts identification from formal B specifications
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
Akram Idani, Yves Ledru
136
Voted
CANDC
2004
ACM
15 years 3 months ago
Retrieving definitional content for ontology development
Ontology construction requires an understanding of the meaning and usage of its encoded concepts. While definitions found in dictionaries or glossaries may be adequate for many co...
Lawrence H. Smith, W. John Wilbur
COLING
2002
15 years 3 months ago
A New Probabilistic Model for Title Generation
Title generation is a complex task involving both natural language understanding and natural language synthesis. In this paper, we propose a new probabilistic model for title gene...
Rong Jin, Alexander G. Hauptmann
181
Voted
IWPC
2010
IEEE
15 years 2 months ago
Identification of Idiom Usage in C++ Generic Libraries
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic
135
Voted
PPDP
2010
Springer
15 years 1 months ago
Dimensions in program synthesis
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
Sumit Gulwani