4150 search results - page 194 / 830 » A Practical Approach to Model Extension |
125
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
165
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
Image-based and model-based methods are two representative rendering methods for generating virtual images of objects from their real images. Extensive research on these two metho...
125
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
116
click to vote
NGITS
1999
Springer
15 years 8 months ago
1999
Springer
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...
114
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...