1501 search results - page 76 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
164
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
141
click to vote
DKE
1998
15 years 3 months ago
1998
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling v...
134
Voted
AMC
2007
15 years 4 months ago
2007
This paper presents an integrated framework for assessment and ranking of manufacturing systems based on management and organizational performance indicators. The integrated appro...
170
click to vote
CVPR
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a novel integrated background model for video surveillance. Our model uses a primal sketch representation for image appearance and 3D scene geometry to capture...
136
click to vote
ASIAMS
2007
IEEE
15 years 10 months ago
2007
IEEE
The implicit approach can be used to efficiently model realistically deformable objects for large constraints such as stiffness or time. In soft bodies with pressure forces, model...