3167 search results - page 426 / 634 » Algorithmic Representation of Visual Information |
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
133
Voted
GRAPHICSINTERFACE
2001
15 years 3 months ago
2001
We introduce a new acceleration to the standard splatting volume rendering algorithm. Our method achieves full colour (32-bit), depth-sorted and shaded volume rendering significan...
105
click to vote
AAAI
1996
15 years 3 months ago
1996
We propose novel gaze control algorithms for active perception in mobile autonomous agents with directable, foveated vision sensors. Our agents are realistic artificial animals, o...
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
Empirical filter designs generalize relationships inferred from training data to effect realistic solutions that conform well to the human visual system. Complex algorithms invol...
116
click to vote
JMLR
2008
15 years 1 months ago
2008
This paper presents the dynamics of multiple learning agents from an evolutionary game theoretic perspective. We provide replicator dynamics models for cooperative coevolutionary ...