311 search results - page 32 / 63 » Conservative Dual Consistency |
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we propose an effective approach to the nearly untouched problem, still photograph auto cropping, which is one of the important features to automatically enhance ph...
RT
2004
Springer
14 years 1 months ago
2004
Springer
We present a novel aggressive visibility preprocessing technique for general 3D scenes. Our technique exploits commodity graphics hardware and is faster than most conservative sol...
VR
2002
IEEE
14 years 1 months ago
2002
IEEE
Many VR platforms emphasize extensibility to support as wide a range of applications as possible. The current trend is to move this extensibility to lower levels of the system to ...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— We study large population stochastic dynamic games where each agent receives influences from multi-classes of agents according to intra- and inter-subpopulation cost coupling....