1669 search results - page 143 / 334 » Modeling ODP Computational Specifications Using UML |
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
A model-driven method for handling clothes by two manipulators based on observation with stereo cameras is proposed. The task considered in this paper is to hold up a specific par...
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-orien...
OPODIS
2010
13 years 7 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
DLOG
2006
13 years 10 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
BIOCOMP
2006
13 years 10 months ago
2006
Stochastic context-free grammar (SCFG) based models for non-coding RNA (ncRNA) gene searches are much more powerful than regular grammar based models due to the ability to model in...