4346 search results - page 506 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
181
click to vote
LCTRTS
2001
Springer
15 years 11 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...
165
click to vote
CHARME
2005
Springer
16 years 9 days 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...
159
click to vote
ICTAI
2003
IEEE
16 years 1 days 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...
213
click to vote
ICPR
2004
IEEE
16 years 7 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...
185
click to vote
MICCAI
2003
Springer
16 years 7 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...