7099 search results - page 172 / 1420 » Context for models of concurrency |
184
click to vote
IANDC
2008
15 years 7 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
185
click to vote
CONCURRENCY
2004
15 years 7 months ago
2004
Grid enabled portals are becoming increasingly popular as a platform for providing access to Grid services and resources. Unfortunately, much of the work done in portal developmen...
212
click to vote
CONCURRENCY
1998
15 years 6 months ago
1998
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet us...
212
click to vote
ESANN
2004
15 years 8 months ago
2004
This work is designed to contribute to a deeper understanding of the recently proposed Merging SOM (MSOM). Its context model aims at the representation of sequences, an important s...
148
click to vote
ACL
1997
15 years 8 months ago
1997
This paper proposes a mistake-driven mixture method for learning a tag model. The method iteratively performs two proce