1317 search results - page 48 / 264 » context 2005 |
115
Voted
CADE
2005
Springer
15 years 4 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
97
Voted
DCC
2005
IEEE
16 years 2 months ago
2005
IEEE
Inspired by the combinatorial denoising method DUDE [13], we present efficient algorithms for implementing this idea for arbitrary contexts or for using it within subsequences. We...
103
Voted
ADC
2005
Springer
15 years 8 months ago
2005
Springer
A myriad of resources can be found on the Web today, and finding (topically) relevant resources for a given information need is a daunting task. Even if relevant resources can be...
108
Voted
ICNC
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a novel texture segmentation method using Bayesian estimation and neural networks. Multi-scale wavelet coefficients and the context information extracted from n...
95
Voted
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...