Sciweavers

875 search results - page 123 / 175
» On Reachability Under Uncertainty
Sort
View
ASPDAC
2008
ACM
200views Hardware» more  ASPDAC 2008»
15 years 1 months ago
Non-Gaussian statistical timing analysis using second-order polynomial fitting
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
Lerong Cheng, Jinjun Xiong, Lei He
DCOSS
2008
Springer
15 years 1 months ago
An Information Theoretic Framework for Field Monitoring Using Autonomously Mobile Sensors
We consider a mobile sensor network monitoring a spatio-temporal field. Given limited caches at the sensor nodes, the goal is to develop a distributed cache management algorithm to...
Hany Morcos, George Atia, Azer Bestavros, Ibrahim ...
BILDMED
2007
157views Algorithms» more  BILDMED 2007»
15 years 1 months ago
Hybrid Spline-Based Elastic Image Registration Using Analytic Solutions of the Navier Equation
We introduce a new hybrid approach for spline-based elastic image registration using both point landmarks and intensity information. As underlying deformation model we use Gaussian...
Stefan Wörz, Karl Rohr
DOA
2001
137views more  DOA 2001»
15 years 1 months ago
Supporting Distributed Processing of Time-Based Media Streams
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...
Viktor S. Wold Eide, Frank Eliassen, Olav Lysne
UAI
2000
15 years 1 months ago
Compact Securities Markets for Pareto Optimal Reallocation of Risk
The securities market is the fundamental theoretical framework in economics and finance for resource allocation under uncertainty. Securities serve both to reallocate risk and to ...
David M. Pennock, Michael P. Wellman