4211 search results - page 376 / 843 » Types as Abstract Interpretations |
201
click to vote
IMAGING
2004
15 years 8 months ago
2004
This research integrates the techniques used for the display of high dynamic range pictorial imagery for the practical visualization of non-pictorial (scientific) imagery such as ...
175
click to vote
SPIESR
2004
15 years 8 months ago
2004
Evaluation in visual information retrieval is usually performed by executing test queries and calculating recall and precision based on predefined media collections and ground tru...
189
click to vote
UAI
2004
15 years 8 months ago
2004
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about uncertainty ...
174
click to vote
OSDI
1994
ACM
15 years 8 months ago
1994
ACM
Traditional operating systems use a xed LRU-like page replacement policy and centralized frame pool that cannot properly serve all types of memory access patterns of various appli...
156
click to vote
AAAI
1990
15 years 8 months ago
1990
Cyclic definitions are often prohibited in terminological knowledge representation languages because, from a theoretical point of view, their semantics is not clear and, from a pr...