4047 search results - page 70 / 810 » Algebraic Model Checking |
128
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
ER
2009
Springer
15 years 11 months ago
2009
Springer
106
Voted
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE