Sciweavers

2308 search results - page 245 / 462
» Categorial Semantics For LFG
Sort
View
ANLP
1994
94views more  ANLP 1994»
15 years 7 months ago
Handling Japanese Homophone Errors in Revision Support System for Japanese Texts; REVISE
Japanese texts frequently suffer from the homophone errors caused by the KANA-KANJI conversion needed to input the text. It is critical, therefore, for Japanese revision support s...
Masahiro Oku
ATAL
2010
Springer
15 years 7 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
CIDR
2009
133views Algorithms» more  CIDR 2009»
15 years 7 months ago
Principles for Inconsistency
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...
Shel Finkelstein, Dean Jacobs, Rainer Brendle
GECCO
2008
Springer
141views Optimization» more  GECCO 2008»
15 years 7 months ago
Potential fitness for genetic programming
We introduce potential fitness, a variant of fitness function that operates in the space of schemata and is applicable to tree-based genetic programing. The proposed evaluation ...
Krzysztof Krawiec, PrzemysBaw Polewski
GPCE
2008
Springer
15 years 7 months ago
Program refactoring using functional aspects
A functional aspect is an aspect that has the semantics of a transformation; it is a function that maps a program to an advised program. Functional aspects are composed by functio...
Sven Apel, Christian Kästner, Don S. Batory