1735 search results - page 172 / 347 » Using UML for Business Object Based Systems Modeling |
166
click to vote
NFM
2011
14 years 10 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
160
Voted
PAMI
2011
14 years 10 months ago
2011
—This paper presents an automatic segmentation algorithm for video frames captured by a (monocular) webcam that closely approximates depth segmentation from a stereo camera. The ...
119
click to vote
MUE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, a generalized multimedia database data model based on MPEG-7 named G3M is proposed and formally defined. Different from those XML Database Management System (DBMS) ...
134
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
— Handling catastrophic forgetting is an interesting and challenging topic in modeling the memory mechanisms of the human brain using machine learning models. From a more general...
126
Voted
ICVS
2003
Springer
15 years 8 months ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...