Sciweavers

1156 search results - page 24 / 232
» Compositional Methods for Information-Hiding
Sort
View
FMCO
2005
Springer
14 years 1 months ago
A Software Component Model and Its Preliminary Formalisation
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
CVPR
2007
IEEE
14 years 9 months ago
Simultaneous Matting and Compositing
Recent work in matting, hole filling, and compositing allows image elements to be mixed in a new composite image. Previous algorithms for matting foreground elements have assumed ...
Jue Wang, Michael F. Cohen
EUROMICRO
2006
IEEE
14 years 1 months ago
A Method for Component-Based Software and System Development
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
Denis Hatebur, Maritta Heisel, Jeanine Souqui&egra...
IROS
2009
IEEE
133views Robotics» more  IROS 2009»
14 years 2 months ago
Roadmap composition for multi-arm systems path planning
— This paper presents a new method for planning motions of multi-arm systems in constrained workspaces, for which state-of-the-art planners behave poorly. The method is based on ...
Mokhtar Gharbi, Juan Cortés, Thierry Sim&ea...
COLT
2010
Springer
13 years 5 months ago
Composite Objective Mirror Descent
We present a new method for regularized convex optimization and analyze it under both online and stochastic optimization settings. In addition to unifying previously known firstor...
John Duchi, Shai Shalev-Shwartz, Yoram Singer, Amb...