1604 search results - page 210 / 321 » Regularization on Discrete Spaces |
ICRA
1994
IEEE
14 years 2 months ago
1994
IEEE
We present a simple approach for planning the motion of nonholonomic robots among obstacles. Existing methods lead to open-loop solutions which are either obtained in two stages, ...
ASPDAC
2007
ACM
14 years 2 months 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 2 months 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 2 months 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 1 months 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...