Sciweavers

4935 search results - page 986 / 987
» An Adaptive Supersampling Method
Sort
View
FMSD
2010
118views more  FMSD 2010»
13 years 6 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
ICRA
2010
IEEE
242views Robotics» more  ICRA 2010»
13 years 6 months ago
Axel rover paddle wheel design, efficiency, and sinkage on deformable terrain
—This paper presents the Axel robotic rover which has been designed to provide robust and flexible access to extreme extra-planetary terrains. Axel is a lightweight 2wheeled vehi...
Pablo Abad-Manterola, Joel W. Burdick, Issa A. D. ...
INFOCOM
2010
IEEE
13 years 6 months ago
Joint Energy Management and Resource Allocation in Rechargeable Sensor Networks
—Energy harvesting sensor platforms have opened up a new dimension to the design of network protocols. In order to sustain the network operation, the energy consumption rate cann...
Ren-Shiou Liu, Prasun Sinha, Can Emre Koksal
SMC
2010
IEEE
187views Control Systems» more  SMC 2010»
13 years 5 months ago
Estimation of psychological stress levels using Facial Expression Spatial Charts
—This paper presents a new framework to describe individual facial expression spaces, particularly addressing the dynamic diversity of facial expressions that appear as an exclam...
Hirokazu Madokoro, Kazuhito Sato
TCOM
2010
106views more  TCOM 2010»
13 years 5 months ago
On the system level prediction of joint time frequency spreading systems with carrier phase noise
- Phase noise is a topic of theoretical and practical interest in electronic circuits. Although progress has been made in the characterization of its description, there are still c...
Youssef Nasser, Mathieu Des Noes, Laurent Ros, Gen...