3909 search results - page 13 / 782 » Extreme Model Checking |
77
Voted
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Previous work [3, 6, 9, 8, 7, 1] has presented the time optimal trajectories for three classes of non-holonomic mobile robots: steered cars that can only go forwards, steered cars...
SDM
2008
SIAM
14 years 11 months ago
2008
SIAM
With the advent of high throughput technologies, feature selection has become increasingly important in a wide range of scientific disciplines. We propose a new feature selection ...
JIDM
2010
14 years 8 months ago
2010
One of the most important challenges for the researchers in the 21st Century is related to global heating and climate change that can have as consequence the intensiļ¬cation of na...
101
click to vote
ISPD
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we propose more accurate power/ground network circuit model, which consider both via and ground bounce effects to improve the performance estimation accuracy of on-...
IPL
2006
14 years 9 months ago
2006
We investigate the path model checking problem for the