4346 search results - page 506 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
135
Voted
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
141
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
131
click to vote
ICTAI
2003
IEEE
15 years 10 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
170
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper, we propose an unsupervised approach to select representative face samples (models) from raw videos and build an appearance-based face recognition system. The approa...
144
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
In surgical simulations, the two most popular approaches to model soft tissues are Finite Element Method (FEM) and Mass-Spring System (MSS). Main advantages of FEM are accuracy and...