1689 search results - page 103 / 338 » Refining abstract interpretations |
104
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
Most multi-camera vision applications assume a single common color response for all cameras. However different cameras--even of the same type--can exhibit radically different colo...
145
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
168
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
129
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
A transferable quality model must be general. This implies that only the high level characteristics can be transferred into different settings and that the refinement of the charac...
160
click to vote
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a judgement and decision making analysis of collaborative problem solving. This analysis is done with respect to the Raven and CoRaven decision-making tools fo...