889 search results - page 98 / 178 » Problems in Rewriting III |
DGO
2004
13 years 11 months ago
2004
This paper describes a Web-based query system for semantically heterogeneous government-produced data. Geospatial Web-based information systems and portals are currently being dev...
DLT
2006
13 years 11 months ago
2006
This paper addresses the longstanding problem of the recognition limitations of classical LALR(1) parser generators by proposing the usage of noncanonical parsers. To this end, we...
ACL
1994
13 years 11 months ago
1994
Considering the speed in which humans resolve syntactic ambiguity, and the overwhelming evidence that syntactic ambiguity is resolved through selection of the analysis whose inter...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
FMSD
2006
13 years 10 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...