Sciweavers

4971 search results - page 556 / 995
» Observation systems
Sort
View
STTT
2011
195views more  STTT 2011»
15 years 1 months ago
Parallel probabilistic model checking on general purpose graphics processors
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski,...
TVCG
2011
196views more  TVCG 2011»
15 years 1 months ago
Measurement-Based Modeling of Contact Forces and Textures for Haptic Rendering
—Haptic texture represents the fine-grained attributes of an object’s surface and is related to physical characteristics such as roughness and stiffness. We introduce an inter...
Jochen Lang, Sheldon Andrews
IJWIN
2010
117views more  IJWIN 2010»
15 years 1 months ago
Channel Models for Medical Implant Communication
Information regarding the propagation media is typically gathered by conducting physical experiments, measuring and processing the corresponding data to obtain channel characterist...
Kamran Sayrafian-Pour, Wen-Bin Yang, John G. Haged...
TIT
2010
125views Education» more  TIT 2010»
15 years 1 months ago
Target detection via network filtering
A method of `network filtering' has been proposed recently to detect the effects of certain external perturbations on the interacting members in a network. However, with larg...
Shu Yang, Eric D. Kolaczyk
ICASSP
2011
IEEE
14 years 10 months ago
Saturation-robust SAR image formation
The formation of synthetic aperture radar (SAR) images is formulated as an inverse problem, a flexible approach suitable for a variety of acquisition systems and signal models. T...
Dennis Wei, Petros Boufounos