3212 search results - page 444 / 643 » Definition and modeling of process using object orientation |
175
click to vote
VIIP
2001
15 years 7 months ago
2001
In this paper, we present an easy, efficient and practical algorithm, which extracts the feature silhouette from a photograph for virtual human modeling. Our segmentation algorith...
191
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...
205
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...
158
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
176
click to vote
ICDE
2008
IEEE
16 years 26 days ago
2008
IEEE
—Equivalent of €5 billion of wood raw material is going to waste in Europe. The reason is that information regarding the raw material is not available throughout the system. An...