Sciweavers

1368 search results - page 96 / 274
» Challenges for Model-Integrating Components
Sort
View
134
Voted
VLC
2002
99views more  VLC 2002»
15 years 3 months ago
Flexible Graph Layout for the Web
More powerful personal computers and higher network bandwidth has meant that graphics has become increasingly important on the web. Graph-based diagrams are one of the most import...
Trevor Hansen, Kim Marriott, Bernd Meyer, Peter J....
PAMI
2007
134views more  PAMI 2007»
15 years 2 months ago
Spatio-Temporal Context for Robust Multitarget Tracking
—In multitarget tracking, the main challenge is to maintain the correct identity of targets even under occlusions or when differences between the targets are small. The paper pro...
Hieu Tat Nguyen, Qiang Ji, Arnold W. M. Smeulders
QUESTA
2007
117views more  QUESTA 2007»
15 years 2 months ago
Estimating tail probabilities of heavy tailed distributions with asymptotically zero relative error
Efficient estimation of tail probabilities involving heavy tailed random variables is amongst the most challenging problems in Monte-Carlo simulation. In the last few years, appli...
Sandeep Juneja
165
Voted
IJRR
2010
162views more  IJRR 2010»
15 years 1 months ago
Planning under Uncertainty for Robotic Tasks with Mixed Observability
Partially observable Markov decision processes (POMDPs) provide a principled, general framework for robot motion planning in uncertain and dynamic environments. They have been app...
Sylvie C. W. Ong, Shao Wei Png, David Hsu, Wee Sun...
131
Voted
TSE
2010
125views more  TSE 2010»
15 years 1 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin