Sciweavers

2722 search results - page 143 / 545
» Automating Language Evolution
Sort
View
PPSWR
2005
Springer
15 years 10 months ago
Logical Reconstruction of RDF and Ontology Languages
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
Jos de Bruijn, Enrico Franconi, Sergio Tessaris
AAAI
2008
15 years 7 months ago
Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents
To-do lists have been found to be the most popular personal information management tools, yet there is no automated system to interpret and act upon them when appropriate on behal...
Yolanda Gil, Varun Ratnakar
CSIE
2009
IEEE
15 years 5 months ago
On Test Script Technique Oriented Automation of Embedded Software Simulation Testing
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
Yongfeng Yin, Bin Liu, Bentao Zheng
LICS
2005
IEEE
15 years 10 months ago
Operational Domain Theory and Topology of a Sequential Programming Language
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
Martín Hötzel Escardó, Weng Kin...
GECCO
2004
Springer
134views Optimization» more  GECCO 2004»
15 years 10 months ago
A Descriptive Encoding Language for Evolving Modular Neural Networks
Evolutionary algorithms are a promising approach for the automated design of artificial neural networks, but they require a compact and efficient genetic encoding scheme to repres...
Jae-Yoon Jung, James A. Reggia