2851 search results - page 313 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
194
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
169
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Rigid registration of intraoperative ultrasound (US) and CT is an important technique to provide real-time guidance for preoperative images and models. Due to the speckle noise an...
167
click to vote
MA
2010
Springer
15 years 5 months ago
2010
Springer
A general approach for developing distribution free tests for general linear models based on simplicial depth is applied to multiple regression. The tests are based on the asympto...
199
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
147
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...