10159 search results - page 1860 / 2032 » System Design Validation Using Formal Models |
ICCV
2011
IEEE
12 years 8 months ago
2011
IEEE
Facial micro-expressions are rapid involuntary facial expressions which reveal suppressed affect. To the best knowledge of the authors, there is no previous work that successfully...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
– This study examines the processes of organizational knowledge creation in two highly virtualized teams, one involved in the design of a small city car and the second in the re-...
PIMRC
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper we present an analytical approach to evaluate the M-QAM bit error rate and carrier frequency dependent throughput of OFDM systems subject to various receiver impai...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
The incorporation of a trust network among the users of a recommender system (RS) proves beneficial to the quality and amount of recommendations. Involving also distrust can offe...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...