4502 search results - page 453 / 901 » Regular Model Checking |
189
click to vote
CAD
2004
Springer
15 years 7 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and by numerical errors in the model building software...
225
click to vote
ICDM
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper we propose the multirelational topic model (MRTM) for multiple types of link modeling such as citation and coauthor links in document networks. In the citation networ...
223
click to vote
CAISE
2008
Springer
2008
Springer
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation
15 years 9 months ago
The Business Process Modeling Notation (BPMN) is an increasingly important industry standard for the graphical representation of business processes. BPMN offers a wide range of mod...
213
click to vote
CVPR
2003
IEEE
16 years 9 months ago
2003
IEEE
Background subtraction is the first step of many video surveillance applications. What is considered background varies by application, and may include regular, systematic, or comp...
239
click to vote
ICIP
2004
IEEE
16 years 9 months ago
2004
IEEE
In this work, we propose an unsupervised Bayesian model for the detection of moving objects from dynamic scenes. This unsupervised solution is a three-step approach that uses a st...