4894 search results - page 840 / 979 » Choices |
161
click to vote
SBACPAD
2005
IEEE
15 years 12 months ago
2005
IEEE
The time required to simulate a complete benchmark program using the cycle-accurate model of a microprocessor can be prohibitively high. One of the proposed methodologies, represe...
182
click to vote
SRDS
2005
IEEE
15 years 12 months ago
2005
IEEE
Quorum protocols offer several benefits when used to maintain replicated data but techniques for reducing overheads associated with them have not been explored in detail. It is d...
178
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
196
click to vote
WACV
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
219
click to vote
WORDS
2005
IEEE
15 years 12 months ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...