529 search results - page 52 / 106 » Property Directed Abstract Interpretation |
162
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
109
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
142
click to vote
SIAMCO
2011
14 years 9 months ago
2011
Abstract. A framework is introduced for the identification of controls for single-class timevarying queueing networks that are asymptotically optimal in the so-called uniform acce...
128
Voted
VIS
2006
IEEE
16 years 3 months ago
2006
IEEE
Current practice in particle visualization renders particle position data directly onto the screen as points or glyphs. Using a camera placed at a fixed position, particle motions...
124
Voted
NIPS
2004
15 years 4 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...