44 search results - page 1 / 9 » A coalgebraic equational approach to specifying observationa... |
TCS
2002
13 years 10 months ago
2002
A coalgebraic, equational approach to the speci
JLP
2006
13 years 10 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
ICPR
2008
IEEE
14 years 5 months ago
2008
IEEE
— A calibration method for a structured light system by observing a planar object from unknown viewpoints is proposed. A structured light system captures a 3D shape by a camera t...
ICPR
2008
IEEE
14 years 5 months ago
2008
IEEE
Structure and motion estimation from long image sequences is a an important and difficult problem in computer vision. We propose a novel approach based on nonlinear and adaptive ...
BMCBI
2008
13 years 11 months ago
2008
Background: With the abundant information produced by microarray technology, various approaches have been proposed to infer transcriptional regulatory networks. However, few appro...