788 search results - page 132 / 158 » Design and use of a system-level specification and verificat... |
133
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Technology extrapolation -- the calibration and prediction of achievable design in future technology generations ? drives the evolution of VLSI system architectures, design method...
164
click to vote
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
We propose a subspace learning algorithm for face recognition by directly optimizing recognition performance scores. Our approach is motivated by the following observations: 1) Di...
147
click to vote
ICNSC
2007
IEEE
16 years 15 days ago
2007
IEEE
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...
162
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
176
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...