3575 search results - page 191 / 715 » Modeling Concurrency with Geometry |
128
Voted
ENTCS
2007
15 years 5 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
157
Voted
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents an efficient and scalable coding scheme for transmitting a stream of 3D models extracted from a video. As in classical model-based video coding, the geometry, ...
154
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In background subtraction, cast shadows induce silhouette distortions and object fusions hindering performance of high level algorithms in scene monitoring. We introduce a nonpara...
135
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
Spatio-temporal databases deal with geometries changing over time. In general, geometries do not only change discretely but continuously; hence we are dealing with moving objects....
145
click to vote
3DIM
2003
IEEE
15 years 10 months ago
2003
IEEE
Due to their general and robust formulation deformable models offer a very appealing approach to 3D image segmentation. However there is a trade-off between model genericity, mode...