Sciweavers

5600 search results - page 250 / 1120
» Synthesizing robust systems
Sort
View
CVPR
2005
IEEE
16 years 8 months ago
A Nonlinear Approach for Face Sketch Synthesis and Recognition
Most face recognition systems focus on photo-based face recognition. In this paper, we present a face recognition system based on face sketches. The proposed system contains two e...
Qingshan Liu, Xiaoou Tang, Hongliang Jin, Hanqing ...
DAC
2002
ACM
16 years 7 months ago
An optimal voltage synthesis technique for a power-efficient satellite application
This paper presents an optimal voltage synthesis technique for a satellite application to maximize system performance subject to energy budget. A period of a satellite's orbi...
Dong-In Kang, Jinwoo Suh, Stephen P. Crago
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
16 years 1 months ago
Design and performance of in vitro transcription rate regulatory circuits
— This paper proposes a synthetic in vitro circuit that aims at regulating the rate of RNA transcription through positive feedback interactions. This design is dual to a previous...
Elisa Franco, Richard M. Murray
RSP
2005
IEEE
107views Control Systems» more  RSP 2005»
16 years 4 days ago
Rapid Prototyping of Embedded Software Using Selective Formalism
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
John D. Carter, Ming Xu, William B. Gardner
WETICE
2003
IEEE
15 years 11 months ago
Automatic synthesis of coordinators for COTS group-ware applications: an example
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
Paola Inverardi, Massimo Tivoli, Antonio Bucchiaro...