Sciweavers

9989 search results - page 1575 / 1998
» A CLP Approach to Modelling Systems
Sort
View
SPIESR
1996
141views Database» more  SPIESR 1996»
15 years 8 months ago
Describing and Classifying Multimedia Using the Description Logic GRAIL
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...
Carole A. Goble, Christian Haul, Sean Bechhofer
ENTCS
2008
79views more  ENTCS 2008»
15 years 6 months ago
Experimenting Formal Proofs of Petri Nets Refinements
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Christine Choppy, Micaela Mayero, Laure Petrucci
BMCBI
2006
105views more  BMCBI 2006»
15 years 6 months ago
Integrative investigation of metabolic and transcriptomic data
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
Pinar Pir, Betül Kirdar, Andrew Hayes, Z. Ils...
IJFCS
2006
111views more  IJFCS 2006»
15 years 6 months ago
Completeness and realizability: conditions for automatic generation of workflows
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
CPHYSICS
2007
84views more  CPHYSICS 2007»
15 years 6 months ago
Simulating botulinum neurotoxin with constant pH molecular dynamics in Generalized Born implicit solvent
A new method was proposed by Mongan et al for constant pH molecular dynamics simulation and was implemented in AMBER 8 package. Protonation states are modeled with different char...
Yongzhi Chen, Xin Chen, Yuefan Deng
« Prev « First page 1575 / 1998 Last » Next »