111 search results - page 7 / 23 » A simple inductive synthesis methodology and its application... |
RAS
2006
13 years 6 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
IJCAI
2007
13 years 8 months ago
2007
In the past ten years, boosting has become a major field of machine learning and classification. This paper brings contributions to its theory and algorithms. We first unify a ...
ICS
2005
Tsinghua U.
14 years 7 days ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
TOG
2012
11 years 9 months ago
2012
We present an approach to synthesizing shapes from complex domains, by identifying new plausible combinations of components from existing shapes. Our primary contribution is a new...
ISSS
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper describes a methodology for synthesizing the data-path of a Very Long Instruction Word (VLIW) based Video Signal Processor (VSP). Offering both performance and programm...