1755 search results - page 174 / 351 » An efficient simulation algorithm based on abstract interpre... |
116
Voted
ALGORITHMICA
2000
15 years 3 months ago
2000
Abstract. We consider the problem of planning sensor control strategies that enable a sensor to be automatically configured for robot tasks. In this paper we present robust and eff...
116
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
108
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
– With the popularity of Multiple Power Domain (MPD) design, the multi-domain power network noise analysis and minimization is becoming important. This paper describes an efficie...
167
Voted
MM
2009
ACM
15 years 10 months ago
2009
ACM
In basketball games, wild-open means that there is an offensive player not well defended by his/her opponents. The occurrence of wild-open usually implies the existence of a succe...
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract – One of the major drawbacks of OFDM is high Peakto-Average Power Ratio (PAPR) which can result in poor power efficiency and serious distortion in the transmitter amplif...