3742 search results - page 685 / 749 » On the Use of Formal Techniques for Validation |
149
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Behavioral Targeting (BT) is a technique used by online advertisers to increase the effectiveness of their campaigns, and is playing an increasingly important role in the online a...
181
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...
197
click to vote
IMC
2009
ACM
16 years 21 days ago
2009
ACM
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
184
click to vote
IPSN
2010
Springer
16 years 20 days ago
2010
Springer
Motion capture using wireless inertial measurement units (IMUs) has many advantages over other techniques. Achieving accurate tracking with IMUs presents a processing challenge, e...
136
click to vote
IEEEPACT
2007
IEEE
16 years 15 days ago
2007
IEEE
In recent years, microprocessor manufacturers have shifted their focus from single-core to multi-core processors. To avoid burdening programmers with the responsibility of paralle...