Sciweavers

300 search results - page 32 / 60
» Syntactic Monoids in a Category
Sort
View
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 6 months ago
Packrat Parsing: Simple, Powerful, Lazy, Linear Time
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
Bryan Ford
ANLP
1997
106views more  ANLP 1997»
15 years 7 months ago
Incremental Finite-State Parsing
This paper describes a new finite-state shallow parser. It merges constructive and reductionist approaches within a highly modular architecture. Syntactic information is added at ...
Salah Ait-Mokhtar, Jean-Pierre Chanod
WWW
2003
ACM
16 years 6 months ago
Three theses of representation in the semantic web
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
Ian Horrocks, Peter F. Patel-Schneider
ISSTA
2009
ACM
16 years 21 days ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
CIKM
2005
Springer
15 years 11 months ago
Establishing value mappings using statistical models and user feedback
In this paper, we present a “value mapping” algorithm that does not rely on syntactic similarity or semantic interpretation of the values. The algorithm first constructs a st...
Jaewoo Kang, Tae Sik Han, Dongwon Lee, Prasenjit M...