Sciweavers

6719 search results - page 390 / 1344
» A Generalization of Automatic Sequences
Sort
View
ICTAC
2004
Springer
15 years 10 months ago
Inherent Causal Orderings of Partial Order Scenarios
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...
Bill Mitchell
CVPR
1997
IEEE
15 years 8 months ago
Panoramic mosaics by manifold projection
As the field of view of a picture is much smaller than our own visual field of view, it is common to paste together several pictures to create a panoramic mosaic having a larger...
Shmuel Peleg, Joshua Herman
PAMI
2008
160views more  PAMI 2008»
15 years 4 months ago
Motion Segmentation and Depth Ordering Using an Occlusion Detector
We present a novel method for motion segmentation and depth ordering from a video sequence in general motion. We first compute motion segmentation based on differential properties ...
Doron Feldman, Daphna Weinshall
SIGSOFT
2005
ACM
16 years 5 months ago
Permissive interfaces
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
BMCBI
2005
173views more  BMCBI 2005»
15 years 4 months ago
Phydbac "Gene Function Predictor" : a gene annotation tool based on genomic context analysis
Background: The large amount of completely sequenced genomes allows genomic context analysis to predict reliable functional associations between prokaryotic proteins. Major method...
François Enault, Karsten Suhre, Jean-Michel...