Sciweavers

3025 search results - page 302 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
148
Voted
ECOOP
2010
Springer
15 years 7 months ago
Verifying Executable Object-Oriented Specifications with Separation Logic
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
Stephan van Staden, Cristiano Calcagno, Bertrand M...
IPPS
2006
IEEE
15 years 10 months ago
Workflow fine-grained concurrency with automatic continuation
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
Giancarlo Tretola, Eugenio Zimeo
CODES
2004
IEEE
15 years 7 months ago
Automatic synthesis of system on chip multiprocessor architectures for process networks
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...
Basant Kumar Dwivedi, Anshul Kumar, M. Balakrishna...
135
Voted
LREC
2008
153views Education» more  LREC 2008»
15 years 5 months ago
Automatic Rich Annotation of Large Corpus of Conversational transcribed speech: the Chunking Task of the EPAC Project
This paper describes the use of the CasSys platform in order to achieve the chunking of conversational speech transcripts by means of cascades of Unitex transducers. Our system is...
Jean-Yves Antoine, Abdenour Mokrane, Nathalie Frib...
ACL
2009
15 years 1 months ago
Automatically Generating Wikipedia Articles: A Structure-Aware Approach
In this paper, we investigate an approach for creating a comprehensive textual overview of a subject composed of information drawn from the Internet. We use the high-level structu...
Christina Sauper, Regina Barzilay