4047 search results - page 70 / 810 » Algebraic Model Checking |
92
Voted
CIE
2005
Springer
15 years 6 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...
66
Voted
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
58
Voted
ER
2009
Springer
15 years 7 months ago
2009
Springer
112
Voted
AB
2008
Springer
15 years 7 months ago
2008
Springer
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE