1036 search results - page 80 / 208 » Natural Narrowing for General Term Rewriting Systems |
CORR
2010
Springer
13 years 9 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 ...
CSCW
2010
ACM
14 years 5 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...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
IWCMC
2006
ACM
14 years 2 months ago
2006
ACM
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...
SIGMETRICS
2005
ACM
14 years 2 months ago
2005
ACM
Characterizing the properties of peer-to-peer (P2P) overlay topologies in file-sharing applications is essential for understanding their impact on the network, identifying their ...