Sciweavers

2013 search results - page 198 / 403
» Computational data modeling for network-constrained moving o...
Sort
View
APGV
2004
ACM
124views Visualization» more  APGV 2004»
15 years 10 months ago
An experimental approach to predicting saliency for simplified polygonal models
In this paper, we consider the problem of determining feature saliency for 3D objects and describe a series of experiments that examined if salient features exist and can be predi...
Sarah Howlett, John Hamill, Carol O'Sullivan
SPIN
2004
Springer
15 years 11 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
ICPR
2008
IEEE
16 years 7 months ago
Segmentation by combining parametric optical flow with a color model
We present a simple but efficient model for object segmentation in video scenes that integrates motion and color information in a joint probabilistic framework. Optical flow is mo...
Adrian Ulges, Thomas M. Breuel
FCCM
2000
IEEE
162views VLSI» more  FCCM 2000»
15 years 11 months ago
StReAm: Object-Oriented Programming of Stream Architectures Using PAM-Blox
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
Oskar Mencer, Heiko Hübert, Martin Morf, Mich...
BMEI
2009
IEEE
15 years 7 months ago
An Improved Probabilistic Model for Finding Differential Gene Expression
Abstract--Finding differentially expressed genes is a fundamental objective of a microarray experiment. Recently proposed method, PPLR, considers the probe-level measurement error ...
Li Zhang, Xuejun Liu