Sciweavers

45 search results - page 8 / 9
» When to use bit-wise neutrality
Sort
View
COOTS
1997
13 years 6 months ago
MiSFIT: A Tool for Constructing Safe Extensible C++ Systems
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
Christopher Small
BMCBI
2008
113views more  BMCBI 2008»
13 years 5 months ago
Investigating selection on viruses: a statistical alignment approach
Background: Two problems complicate the study of selection in viral genomes: Firstly, the presence of genes in overlapping reading frames implies that selection in one reading fra...
Saskia de Groot, Thomas Mailund, Gerton Lunter, Jo...
ESOP
2007
Springer
13 years 11 months ago
On the Implementation of Construction Functions for Non-free Concrete Data Types
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
Frédéric Blanqui, Thérè...
PAMI
2010
249views more  PAMI 2010»
13 years 3 months ago
A Dynamic Texture-Based Approach to Recognition of Facial Actions and Their Temporal Models
—In this work we propose a dynamic-texture-based approach to the recognition of facial Action Units (AUs, atomic facial gestures) and their temporal models (i.e., sequences of te...
Sander Koelstra, Maja Pantic, Ioannis Patras
IEEESCC
2007
IEEE
13 years 11 months ago
Deriving executable BPEL from UMM Business Transactions
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
Birgit Hofreiter, Christian Huemer, Philipp Liegl,...