517 search results - page 48 / 104 » Specification transformers: a predicate transformer approach... |
177
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A relevant problem in drug design is the comparison and recognition of protein binding sites. Binding sites recognition is generally based on geometry often combined w...
221
click to vote
MMM
2005
Springer
15 years 12 months ago
2005
Springer
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
167
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
154
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Neoplastic transformation is a multistep process in which distinct gene products of specific cell regulatory pathways are involved at each stage. Identification of ove...
156
click to vote
ICIP
2010
IEEE
15 years 3 months ago
2010
IEEE
General-purpose no-reference image quality assessment approaches still lag the advances in full-reference methods. Most no-reference methods are either distortion specific (i.e. t...