1271 search results - page 173 / 255 » On Simulation-Checking with Sequential Systems |
APCSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we propose a novel fusion strategy which fuses information from multiple physical traits via a cascading verification process. In the proposed system users are veri...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper we address the joint problems of automated data acquisition and view planning for large–scale indoor and outdoor sites. Our method proceeds in two distinct stag...
ROMAN
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
FC
2007
Springer
14 years 4 months ago
2007
Springer
A multi-coupon (MC) represents a collection of k coupons that a user can redeem to a vendor in exchange for some goods or services. Nguyen (FC 2006), deepening the ideas of Chen et...