3690 search results - page 306 / 738 » Computation with classical sequents |
128
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Computer Supported Cooperative Work (CSCW) defines software tools and technology to support groups of people working together on a project, often at different sites [5]. In this wo...
156
click to vote
CLUSTER
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a new approach towards parallel I/O for message-passing (MPI) applications on clusters built with commodity hardware and an SCI interconnect: instead of using t...
143
click to vote
PRDC
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
166
click to vote
CVRMED
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. Intensity-based classification of MR images has proven problematic, even when advanced techniques are used. Intra-scan and interscan intensity inhomogeneities are a comm...
131
click to vote
SOFSEM
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...