7529 search results - page 365 / 1506 » The Modula-3 Type System |
154
click to vote
SCL
2008
15 years 6 months ago
2008
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
184
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, we extend the Hilbert space embedding approach to handle conditional distributions. We derive a kernel estimate for the conditional embedding, and show its connecti...
212
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Two different operating system types are currently considered for sensor networks: event driven and multithreaded. This paper compares the two well-known operating systems TinyOS ...
203
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Motivated by strong Karp-Lipton collapse results in bounded arithmetic, Cook and Kraj´ıˇcek [7] have recently introduced the notion of propositional proof systems with...
165
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— A catadioptric vision system combines a camera and a mirror to achieve a wide field of view imaging system. This type of vision system has many potential applications in mobil...