Sciweavers

686 search results - page 31 / 138
» Foundations for Bidirectional Programming
Sort
View
COLING
1996
14 years 11 months ago
Disambiguation of morphological analysis in Bantu languages
The paper describes problems in disambiguating the morphological analysis of Bantu languages by using Swahili as a test language. The main factors of ambiguity in this language gr...
Arvi Hurskainen
ENTCS
2002
91views more  ENTCS 2002»
14 years 9 months ago
Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
Brigitte Pientka
COMJ
2010
14 years 7 months ago
JackTrip/SoundWIRE Meets Server Farm
Even though bidirectional, high-quality and low-latency audio systems for network performance are available, the complexity involved in setting up remote sessions needs better too...
Juan Pablo Cáceres, Chris Chafe
ICLP
2007
Springer
15 years 3 months ago
Advanced Techniques for Answer Set Programming
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
Martin Gebser
SCAM
2002
IEEE
15 years 2 months ago
Grammar Programming in TXL
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a single grammar is not always appropriate for all source analysis and manipu...
Thomas R. Dean, James R. Cordy, Andrew J. Malton, ...