Sciweavers

1266 search results - page 87 / 254
» AS Relationships: Inference and Validation
Sort
View
CORR
2010
Springer
165views Education» more  CORR 2010»
14 years 10 months ago
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
Rajeev Goré, Linda Postniece, Alwen Tiu
AAAI
2006
14 years 11 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa
ISBI
2004
IEEE
15 years 10 months ago
Dynamic Range of Harmonic Phase Magnetic Resonance Imaging (HARP-MRI)
Harmonic phase (HARP) magnetic resonance imaging (MRI) is an image analysis method for measuring tissue motion and strain from tagged MR images. Previous studies in cardiac tagged...
Vijay Parthasarathy, Jerry L. Prince, Moriel NessA...
ISBI
2006
IEEE
15 years 3 months ago
TOADS: topology-preserving, anatomy-driven segmentation
This paper presents a new framework for multiple object segmentation in medical images that respects the topological properties and anatomical relationships of structures as given...
Pierre-Louis Bazin, Dzung L. Pham
CSB
2005
IEEE
136views Bioinformatics» more  CSB 2005»
15 years 3 months ago
Whole Genome Phylogeny Based on Clustered Signature String Composition
Peptide compositions constructed out of whole sets of protein sequences can be used as species signatures for phylogenetic analysis. To account for point mutations, an amino acid ...
Xiaomeng Wu, Guohui Lin, Xiu-Feng Wan, Dong Xu