Sciweavers

146 search results - page 16 / 30
» From Macrogeneration to Syntactic Abstraction
Sort
View
ICCPOL
2009
Springer
14 years 6 days ago
Processing of Korean Natural Language Queries Using Local Grammars
Abstract. For casual web users, a natural language is more accessible than formal query languages. However, understanding of a natural language query is not trivial for computer sy...
Tae-Gil Noh, Yong-Jin Han, Seong-Bae Park, Se-Youn...
CIA
2006
Springer
13 years 11 months ago
A Framework of Cooperative Agents with Implicit Support for Ontologies
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
Riza Cenk Erdur, Inanç Seylan
CSCLP
2006
Springer
13 years 11 months ago
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
Marc Meister, Khalil Djelloul, Thom W. Frühwi...
IJDAR
2008
92views more  IJDAR 2008»
13 years 7 months ago
Optical recognition of psaltic Byzantine chant notation
Abstract This paper describes a document recognition system for the modern neume based notation of Byzantine music. We propose algorithms for page segmentation, lyrics removal, syn...
Christoph Dalitz, Georgios K. Michalakis, Christin...
ENTCS
2006
111views more  ENTCS 2006»
13 years 7 months ago
Token-Passing Nets: Call-by-Need for Free
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
François-Régis Sinot