7109 search results - page 1335 / 1422 » Process Algebra with Combinators |
135
click to vote
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
Even though multilingual communities that use machine translation to overcome language barriers are increasing, we still lack a complete understanding of how machine translation a...
199
click to vote
HIKM
2006
ACM
15 years 9 months ago
2006
ACM
Term extraction relates to extracting the most characteristic or important terms (words or phrases) in a document. This information is commonly used for improving the accuracy of ...
124
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
133
click to vote
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
This paper introduces project TITAN, which investigates an alternative construct of residential broadband access. The aim of the project is to increase the utilisation of deployed...
128
Voted
MIR
2006
ACM
15 years 9 months ago
2006
ACM
With the prevalence of digital cameras, more and more people have considerable digital images on their personal devices. As a result, there are increasing needs to effectively sea...