Sciweavers

4047 search results - page 70 / 810
» Algebraic Model Checking
Sort
View
CIE
2005
Springer
15 years 10 months ago
A Network Model of Analogue Computation over Metric Algebras
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...
J. V. Tucker, Jeffery I. Zucker
CVPR
2006
IEEE
16 years 6 months ago
Covariance Tracking using Model Update Based on Lie Algebra
Fatih Porikli, Oncel Tuzel, Peter Meer
ER
2009
Springer
126views Database» more  ER 2009»
15 years 11 months ago
A Frame Manipulation Algebra for ER Logical Stage Modelling
Antonio L. Furtado, Marco A. Casanova, Karin Kooga...
AB
2008
Springer
15 years 11 months ago
Process Algebra Models of Population Dynamics
Chris McCaig, Rachel Norman, Carron Shankland
106
Voted
ICDM
2007
IEEE
138views Data Mining» more  ICDM 2007»
15 years 11 months ago
Modeling Fundamental Geo-Raster Operations with Array Algebra
Angelica Garcia Gutierrez, Peter Baumann