4341 search results - page 487 / 869 » Quantitative Model checking |
167
click to vote
DAGM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this contribution we present a silhouette based human motion estimation system. The system components contain silhouette extraction based on level sets, a corresponden...
157
click to vote
GCC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...
151
click to vote
PADS
2003
ACM
16 years 16 hour ago
2003
ACM
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
170
click to vote
GMP
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we introduce iterative mean and median filtering schemes for smoothing noisy 3D shapes given as triangle meshes. Our main idea consists of applying mean and median...
177
click to vote
KES
1999
Springer
15 years 11 months ago
1999
Springer
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...