3710 search results - page 97 / 742 » A new calculus of contexts |
126
click to vote
AAAI
1994
15 years 7 months ago
1994
Sometimes inferences made at some specific time are valid at other times, too. In model-based diagnosis and monitoring as well as qualitative simulation inferences are often re-do...
154
click to vote
3DPH
2009
15 years 7 months ago
2009
During real-time medical data exploration using volume rendering, it is often difficult to enhance a particular region of interest without losing context information. In this paper...
145
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
For a given (terminating) term rewriting system one can often estimate its derivational complexity indirectly by looking at the proof method that established termination. In this s...
201
click to vote
JOLLI
2006
15 years 6 months ago
2006
We examine the expressive power of probabilistic context free grammars (PCFGs), with a special focus on the use of probabilities as a mechanism for reducing ambiguity by filtering ...
192
click to vote
MEMICS
2010
15 years 1 months ago
2010
Embedded Block Coding with Optimal Truncation (EBCOT) is the fundamental and computationally very demanding part of the compression process of JPEG2000 image compression standard. ...