1941 search results - page 243 / 389 » DNA Computing Approach to Construction of Semantic Model |
179
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: Statistical shape models are powerful tools for model-based segmentation and have been sucessfully applied to the segmentation of various structures in medical images. Though the...
148
click to vote
ESOP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
158
click to vote
ER
2000
Springer
15 years 9 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
189
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
168
Voted
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...