1735 search results - page 172 / 347 » Using UML for Business Object Based Systems Modeling |
208
click to vote
NFM
2011
15 years 1 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...
200
click to vote
PAMI
2011
15 years 1 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 ...
165
click to vote
MUE
2008
IEEE
16 years 26 days 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) ...
167
click to vote
IJCNN
2006
IEEE
16 years 16 days 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...
167
click to vote
ICVS
2003
Springer
15 years 11 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...