3793 search results - page 296 / 759 » An Object Data Model with Roles |
192
click to vote
SPIN
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
185
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Expressed Sequence Tags (ESTs) are short and error-prone DNA sequences generated from the 5' and 3' ends of randomly selected cDNA clones. They provide an im...
211
click to vote
EDOC
2011
IEEE
14 years 6 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
190
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Gene expression measurements during the development of the fly Drosophila melanogaster are routinely used to find functional modules of temporally co-expressed genes. ...
153
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we present novel algorithms for computing scenes and within-scene structures in films. We begin by mapping insights from film-making rules and experimental results f...