6601 search results - page 1115 / 1321 » Optimal Distributed Arc-Consistency |
134
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
131
click to vote
ITS
2000
Springer
15 years 8 months ago
2000
Springer
Training teams is an activity that is expensive, time-consuming, hazardous in some cases, and can be limited by availability of equipment and personnel. In team training, the focus...
130
click to vote
MICCAI
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
137
click to vote
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...
163
click to vote
SIGMOD
1995
ACM
15 years 8 months ago
1995
ACM
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...