4047 search results - page 70 / 810 » Algebraic Model Checking |
157
click to vote
CIE
2005
Springer
16 years 6 days 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...
119
Voted
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
114
Voted
ER
2009
Springer
16 years 1 months ago
2009
Springer
175
Voted
AB
2008
Springer
16 years 1 months ago
2008
Springer
