1413 search results - page 56 / 283 » Bisimilarity of Open Terms |
109
click to vote
GROUP
2007
ACM
15 years 4 months ago
2007
ACM
Most empirical studies of peer production have focused on the final products of these efforts (such as software in Free/Open Source projects), but there are also many other knowle...
120
click to vote
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
180
click to vote
ICDE
1999
IEEE
16 years 2 months ago
1999
IEEE
Similarity searching in text databases with multiple field types is still an open problem. We experimented with CORDIS and we evaluated the effectiveness of many text retrieval me...
87
Voted
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
JCDL
2003
ACM
15 years 6 months ago
2003
ACM
Expandability is one of the main requirements of future digital libraries. This paper introduces a digital library service system, OpenDLib, that has been designed to be highly ex...