Sciweavers

345 search results - page 41 / 69
» An automatic object inlining optimization and its evaluation
Sort
View
CEC
2005
IEEE
14 years 2 months ago
Adaptive cluster covering and evolutionary approach: comparison, differences and similarities
In case the objective function to be minimized is not known analytically and no assumption can be made about the single extremum, global optimization (GO) methods must be used. Pap...
Dimitri P. Solomatine
ICCV
2005
IEEE
14 years 10 months ago
Geometric Context from a Single Image
Many computer vision algorithms limit their performance by ignoring the underlying 3D geometric structure in the image. We show that we can estimate the coarse geometric propertie...
Derek Hoiem, Alexei A. Efros, Martial Hebert
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
DATE
2008
IEEE
168views Hardware» more  DATE 2008»
14 years 3 months ago
A methodology for improving software design lifecycle in embedded control systems
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
Mohamed El Mongi Ben Gaid, Rémy Kocik, Yves...
CVPR
2006
IEEE
14 years 2 months ago
Tracking of Multiple, Partially Occluded Humans based on Static Body Part Detection
Tracking of humans in videos is important for many applications. A major source of difficulty in performing this task is due to inter-human or scene occlusion. We present an appr...
Bo Wu, Ram Nevatia