Sciweavers

3130 search results - page 410 / 626
» Design Correctness of Digital Systems
Sort
View
HICSS
2008
IEEE
86views Biometrics» more  HICSS 2008»
16 years 1 months ago
Overcoming Impediments to Cell Phone Forensics
: Cell phones are an emerging but rapidly growing area of computer forensics. While cell phones are becoming more like desktop computers functionally, their organization and operat...
Wayne Jansen, Aurélien Delaitre, Ludovic Mo...
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
16 years 28 days ago
A Novel Approach to the Detection of Cheating in Multiplayer Online Games
— Modern online multiplayer games are complex heterogeneous distributed systems comprised of servers and untrusted clients, which are often engineered under considerable commerci...
Peter Laurens, Richard F. Paige, Phillip J. Brooke...
ICRA
2007
IEEE
128views Robotics» more  ICRA 2007»
16 years 28 days ago
Adaptive Play Q-Learning with Initial Heuristic Approximation
Abstract— The problem of an effective coordination of multiple autonomous robots is one of the most important tasks of the modern robotics. In turn, it is well known that the lea...
Andriy Burkov, Brahim Chaib-draa
ICRA
2005
IEEE
146views Robotics» more  ICRA 2005»
16 years 6 days ago
Integrating Tactile and Force Feedback with Finite Element Models
— Few systems have integrated the correct tactile and kinesthetic force feedback response with an accurate computational model of a compliant environment. We examine several desi...
Christopher R. Wagner, Douglas P. Perrin, Ross L. ...
MICRO
2005
IEEE
117views Hardware» more  MICRO 2005»
16 years 5 days ago
A Quantum Logic Array Microarchitecture: Scalable Quantum Data Movement and Computation
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
Tzvetan S. Metodi, Darshan D. Thaker, Andrew W. Cr...