Sciweavers

2822 search results - page 382 / 565
» Global Optimization of Histograms
Sort
View
ISCIS
2003
Springer
15 years 11 months ago
MAPSEC: Mobile-Agent Based Publish/Subscribe Platform for Electronic Commerce
Electronic commerce technology offers the opportunity to integrate and optimize the global production and distribution on supply chain. Computers of various corporations, located t...
Ozgur Koray Sahingoz, Nadia Erdogan
ICPR
2010
IEEE
15 years 10 months ago
Finding Multiple Object Instances with Occlusion
In this paper we provide a framework of detection and localization of multiple similar shapes or object instances from an image based on shape matching. There are three challenges...
Ge Guo, Tingting Jiang, Yizhou Wang, Wen Gao
CDC
2009
IEEE
153views Control Systems» more  CDC 2009»
15 years 10 months ago
Compositional stability analysis based on dual decomposition
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
Ufuk Topcu, Andrew K. Packard, Richard M. Murray
CDC
2009
IEEE
189views Control Systems» more  CDC 2009»
15 years 10 months ago
Dirac mixture approximation of multivariate Gaussian densities
— For the optimal approximation of multivariate Gaussian densities by means of Dirac mixtures, i.e., by means of a sum of weighted Dirac distributions on a continuous domain, a n...
Uwe D. Hanebeck, Marco F. Huber, Vesa Klumpp
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 10 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...