Sciweavers

522 search results - page 23 / 105
» Automating grammar comparison
Sort
View
CADE
2008
Springer
15 years 22 days ago
Automated Implicit Computational Complexity Analysis (System Description)
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
Martin Avanzini, Georg Moser, Andreas Schnabl
49
Voted
ANLP
1997
60views more  ANLP 1997»
15 years 2 days ago
The Domain Dependence of Parsing
A major concern in corpus based approaches is that the applicability of the acquired knowledge may be limited by some feature of the corpus, in particular, the notion of text `dom...
Satoshi Sekine
CL
2000
Springer
15 years 3 months ago
A Logic Programming Application for the Analysis of Spanish Verse
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
Pablo Gervás
ISCAS
2007
IEEE
101views Hardware» more  ISCAS 2007»
15 years 5 months ago
Automated HDL Generation: Comparative Evaluation
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
Yana Yankova, Koen Bertels, Stamatis Vassiliadis, ...
DLOG
2010
14 years 8 months ago
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
Martin Homola, Luciano Serafini