225 search results - page 24 / 45 » Synthesizing Objects |
DEDS
2000
13 years 7 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
The objective of this work is classifying texture from a single image under unknown lighting conditions. The current and successful approach to this task is to treat it as a stati...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Face is a perceptually symmetric object; however, it often appears not so in captured image due to the rotation in depth within the 3D space. In this paper, we explore the invaria...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...