Sciweavers

624 search results - page 13 / 125
» Data-Driven Modeling and Coordination of Large Process Struc...
Sort
View
3DIM
2001
IEEE
15 years 1 months ago
Dual-Beam Structured-Light Scanning for 3-D Object Modeling
In this paper, we present our Dual-Beam Structured-Light Scanner (DSLS), a scanning system that generates range maps much richer than those obtained from a conventional structured...
Johnny Park, Guilherme N. DeSouza, Avinash C. Kak
COORDINATION
2004
Springer
15 years 3 months ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira
DBPL
2003
Springer
109views Database» more  DBPL 2003»
15 years 2 months ago
Modelling Dynamic Web Data
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
Philippa Gardner, Sergio Maffeis
BMCBI
2004
126views more  BMCBI 2004»
14 years 9 months ago
A probabilistic model for the evolution of RNA structure
Background: For the purposes of finding and aligning noncoding RNA gene- and cis-regulatory elements in multiple-genome datasets, it is useful to be able to derive multi-sequence ...
Ian Holmes
EVOW
2012
Springer
13 years 5 months ago
Multiobjectivizing the HP Model for Protein Structure Prediction
Abstract. The hydrophobic-polar (HP) model for protein structure preabstracts the fact that hydrophobic interactions are a dominant force in the protein folding process. This model...
Mario Garza-Fabre, Eduardo Rodriguez-Tello, Gregor...