4949 search results - page 789 / 990 » Consistency and Set Intersection |
171
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
170
click to vote
TSE
1998
15 years 6 months ago
1998
Message-logging protocols are an integral part of a popular technique for implementing processes that can recover from crash failures. All message-logging protocols require that, ...
171
click to vote
TSE
1998
15 years 6 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
173
click to vote
TVCG
1998
15 years 6 months ago
1998
—Recently, multiresolution visualization methods have become an indispensable ingredient of real-time interactive postprocessing. The enormous databases, typically coming along w...
163
click to vote
TASLP
2002
15 years 6 months ago
2002
The first stage in many pattern recognition tasks is to generate a good set of features from the observed data. Usually, only a single feature space is used. However, in some compl...