1387 search results - page 209 / 278 » Convexity in Discrete Space |
ASPDAC
2007
ACM
14 years 26 days ago
2007
ACM
Many current integrated circuits designs, such as those released for the ISPD2005[14] placement contest, are extremely large and can contain a great deal of white space. These new...
SETN
2010
Springer
14 years 25 days ago
2010
Springer
The optimal sizing of a small autonomous hybrid power system can be a very challenging task, due to the large number of design settings and the uncertainty in key parameters. This ...
HYBRID
2007
Springer
14 years 23 days ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
AUSDM
2006
Springer
14 years 19 days ago
2006
Springer
This paper presents a preprocessing step in mining association rules which uses tables to summarize synthetically the way variables interact by highlighting any zones which are at...
CVPR
2004
IEEE
14 years 18 days ago
2004
IEEE
In the paper, we study the problem of optimal matching of two generalized functions (distributions) via a diffeomorphic transformation of the ambient space. In the particular case...