2060 search results - page 260 / 412 » The Composition of Event-B Models |
159
click to vote
JCC
2008
15 years 6 months ago
2008
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
156
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a model-based approach to detecting and describing compositions of buildings with complex rooftops. Previous approaches have dealt with either simpler models or models ...
187
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper a composite framework for collaborative working is presented. The framework includes real-time motion tracking based on computer vision from standard webcams situate...
165
click to vote
DCC
2005
IEEE
16 years 6 months ago
2005
IEEE
Signcryption [35] is a public key primitive that achieves the functionality of both an encryption scheme and a signature scheme simultaneously. It does this more efficiently than a...
139
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...