1735 search results - page 172 / 347 » Using UML for Business Object Based Systems Modeling |
155
Voted
NFM
2011
14 years 9 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...
149
Voted
PAMI
2011
14 years 9 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 ...
108
Voted
MUE
2008
IEEE
15 years 9 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) ...
124
click to vote
IJCNN
2006
IEEE
15 years 8 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...
112
click to vote
ICVS
2003
Springer
15 years 7 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...