1385 search results - page 149 / 277 » Natural Rewriting for General Term Rewriting Systems |
175
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
192
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...
175
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
Our first objective in participating in this domain-specific evaluation campaign is to propose and evaluate various indexing and search strategies for the German, English and Russ...
170
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this research paper we address the importance of Product Data Management (PDM) with respect to its contributions in industry. Moreover we also present some currently available ...
163
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
People increasingly rely on social networking websites to initiate personal and professional relationships. This requires that a considerable amount of trust be placed in stranger...