12774 search results - page 2218 / 2555 » A Framework for Proof Systems |
189
Voted
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processor cores on the same chip. Chip-multiprocessor...
193
Voted
AVSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a new methodology for improving the tracking of multiple targets in complex scenes. The new method, Motion Parameter Sharing, incorporates social motion inform...
178
Voted
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Over the past 50 years, much attention has been given to the Prisoner’s Dilemma as a metaphor for problems surrounding the evolution and maintenance of cooperative and altrui...
161
Voted
CIDM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We present a method for performing mode classification of real-time streams of GPS surface position data. Our approach has two parts: an algorithm for robust, unconstr...
190
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—In an ad-hoc collaborative sharing environment, attribute-based access control provides a promising approach in defining authorization over shared resources based on users’ p...