1669 search results - page 143 / 334 » Modeling ODP Computational Specifications Using UML |
113
Voted
ICPR
2004
IEEE
16 years 3 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...
122
click to vote
ECOOPW
1998
Springer
15 years 6 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...
135
Voted
OPODIS
2010
15 years 8 days 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...
128
Voted
DLOG
2006
15 years 3 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...
116
click to vote
BIOCOMP
2006
15 years 3 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...