Sciweavers

1285 search results - page 20 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
EPEW
2005
Springer
14 years 2 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
ER
2004
Springer
104views Database» more  ER 2004»
14 years 1 months ago
Incremental Navigation: Providing Simple and Generic Access to Heterogeneous Structures
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
Shawn Bowers, Lois M. L. Delcambre
IGPL
2011
12 years 12 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski
DAC
2005
ACM
14 years 9 months ago
Systematic development of analog circuit structural macromodels through behavioral model decoupling
This paper presents a systematic methodology to create customized structural macromodels for a specific analog circuit. The novel contributions of the method include definition of...
Ying Wei, Alex Doboli
CEC
2005
IEEE
14 years 2 months ago
Evolving hidden Markov models for protein secondary structure prediction
New results are presented for the prediction of secondary structure information for protein sequences using Hidden Markov Models (HMMs) evolved using a Genetic Algorithm (GA). We a...
Kyoung-Jae Won, Thomas Hamelryck, Adam Prügel...