Sciweavers

170 search results - page 1 / 34
» A Homology Theory for Hybrid Systems: Hybrid Homology
Sort
View
HYBRID
2005
Springer
13 years 10 months ago
A Homology Theory for Hybrid Systems: Hybrid Homology
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
Aaron D. Ames, Shankar Sastry
BIBE
2005
IEEE
126views Bioinformatics» more  BIBE 2005»
13 years 10 months ago
Suboptimal Alignments Improve the Detection of Weak Homologs in Sequence Database Searches
PSI-BLAST remains one of the popular tools for searching remote homologs in sequence databases. We recently demonstrated that hybrid alignment can function as the alignment core f...
Yuheng Li, Mario Lauria, Ralf Bundschuh
LICS
2012
IEEE
11 years 7 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer
CAIP
2007
Springer
170views Image Analysis» more  CAIP 2007»
13 years 9 months ago
Image Segmentation Using Topological Persistence
Abstract. This paper presents a new hybrid split-and-merge image segmentation method based on computational geometry and topology using persistent homology. The algorithm uses edge...
David Letscher, Jason Fritts
HYBRID
2011
Springer
12 years 4 months ago
The earlier the better: a theory of timed actor interfaces
Marc Geilen, Stavros Tripakis, Maarten Wiggers