Sciweavers

2722 search results - page 342 / 545
» Automating Language Evolution
Sort
View
LPKR
1997
Springer
15 years 8 months ago
Generalizing Updates: From Models to Programs
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
João Alexandre Leite, Luís Moniz Per...
BMCBI
2006
107views more  BMCBI 2006»
15 years 4 months ago
Simplifying gene trees for easier comprehension
Background: In the genomic age, gene trees may contain large amounts of data making them hard to read and understand. Therefore, an automated simplification is important. Results:...
Paul-Ludwig Lott, Marvin Mundry, Christoph Sassenb...
KI
2010
Springer
14 years 10 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
119
Voted
CSL
2004
Springer
15 years 3 months ago
Automatic capitalisation generation for speech input
Two different systems are proposed for the task of capitalisation generation. The first system is a slightly modified speech recogniser. In this system, every word in the vocabula...
Ji-Hwan Kim, Philip C. Woodland
LPNMR
2007
Springer
15 years 10 months ago
GrinGo : A New Grounder for Answer Set Programming
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
Martin Gebser, Torsten Schaub, Sven Thiele