Sciweavers

3775 search results - page 706 / 755
» The Expression Problem Revisited
Sort
View
SCAM
2008
IEEE
15 years 7 months ago
User-Input Dependence Analysis via Graph Reachability
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes
VR
2008
IEEE
188views Virtual Reality» more  VR 2008»
15 years 7 months ago
The Two-User Seating Buck: Enabling Face-to-Face Discussions of Novel Car Interface Concepts
The automotive industry uses physical seating bucks, which are minimal mockups of a car interior, to assess various aspects of the planned interior early in the development proces...
Holger Salzmann, Bernd Froehlich
108
Voted
VTC
2008
IEEE
125views Communications» more  VTC 2008»
15 years 7 months ago
A General Formula for Log-MGF Computation: Application to the Approximation of Log-Normal Power Sum via Pearson Type IV Distribu
Abstract— In [1], we have recently proposed a general approach for approximating the power sum of Log–Normal Random Variables (RVs) by using the Pearson system of distributions...
Marco Di Renzo, Fabio Graziosi, Fortunato Santucci
132
Voted
ICC
2007
IEEE
143views Communications» more  ICC 2007»
15 years 7 months ago
Impact of Sampling Jitter on Mostly-Digital Architectures for UWB Bio-Medical Applications
Abstract— Ultra-wideband (UWB) impulse radio is a promising technique for low-power bio-medical communication systems. While a range of analog and digital UWB architectures exist...
Andrew Fort, Mike Chen, Robert W. Brodersen, Claud...
ICRA
2007
IEEE
199views Robotics» more  ICRA 2007»
15 years 7 months ago
Automatic Outlier Detection: A Bayesian Approach
— In order to achieve reliable autonomous control in advanced robotic systems like entertainment robots, assistive robots, humanoid robots and autonomous vehicles, sensory data n...
Jo-Anne Ting, Aaron D'Souza, Stefan Schaal