2957 search results - page 112 / 592 » Processing Self Corrections |
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...
ACRI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Polymer injection in moulds with complicated shapes is common in todays industrial problems. A challenge is to optimize the mould design which leads to the most homogeneo...
CIKM
2004
Springer
14 years 2 months ago
2004
Springer
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...
COLING
2008
13 years 10 months ago
2008
This paper presents an implemented hybrid approach to grammar and style checking, combining an industrial patternbased grammar and style checker with bidirectional, large-scale HP...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
The key of overlapping structures or concurrent markup hierarchies in XML encodings of documents is that markup in one hierarchy is not necessarily well-formed with respect to the...