84 search results - page 16 / 17 » A Fibonacci-like Sequence of Composite Numbers |
MIR
2006
ACM
14 years 1 months ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
BMCBI
2007
13 years 7 months ago
2007
Background: Protein interactions are thought to be largely mediated by interactions between structural domains. Databases such as iPfam relate interactions in protein structures t...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
SIGGRAPH
2010
ACM
13 years 12 months ago
2010
ACM
This paper presents a system for generating dynamic narratives from videos. These narratives are characterized for being compact, coherent and interactive, as inspired by principl...