Sciweavers

217 search results - page 22 / 44
» Synthesizing Probabilistic Composers
Sort
View
FOSSACS
2009
Springer
14 years 4 months ago
Synthesis from Component Libraries
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
Yoad Lustig, Moshe Y. Vardi
ACCV
2009
Springer
14 years 4 months ago
Weighted Map for Reflectance and Shading Separation Using a Single Image
In real world, a scene is composed by many characteristics. Intrinsic images represent these characteristics by two components, reflectance (the albedo of each point) and shading (...
Sung-Hsien Hsieh, Chih-Wei Fang, Te-Hsun Wang, Chi...
FOAL
2009
ACM
14 years 4 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
ICARCV
2008
IEEE
121views Robotics» more  ICARCV 2008»
14 years 4 months ago
Synthesis and comparison of fine actuator controllers for a 3-DOF micro parallel positioning platform
—This paper presents the controller synthesis for a fine actuation system of a 3-DOF micro parallel positioning platform. The platform is composed of a dual stage servo system fo...
Taewon Seo, Deuk Soo Kang, Jongwon Kim
GPCE
2007
Springer
14 years 4 months ago
Safe composition of product lines
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
Sahil Thaker, Don S. Batory, David Kitchin, Willia...