2239 search results - page 135 / 448 » Computing with abstract matrix structures |
124
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
144
Voted
GRAPHICSINTERFACE
2001
15 years 4 months ago
2001
Digital watermarking embeds a structure called watermark into the target data, such as image and 3D polygonal models. The watermark can be used, for example, to enforce copyright ...
122
click to vote
LSSC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The (micro-)finite element analysis based on three-dimensional computed tomography (CT) data of human bone takes place on complicated domains composed of often hundreds ...
126
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
In this paper we consider a unified framework for parameter estimation problems which arise in a system identification context. In this framework, the parameters to be estimated a...
141
Voted
IJCV
2006
15 years 3 months ago
2006
In this paper we address the problem of recovering 3D non-rigid structure from a sequence of images taken with a stereo pair. We have extended existing non-rigid factorization algo...