Sciweavers

3154 search results - page 457 / 631
» Computing Closed Skycubes
Sort
View
SPIESR
1996
118views Database» more  SPIESR 1996»
15 years 7 months ago
Performances of Multiprocessor Multidisk Architectures for Continuous Media Storage
Multimedia interfaces increase the need for large image databases, capable of storing and reading streams of data with strict synchronicity and isochronicity requirements. In orde...
Benoit A. Gennart, Vincent Messerli, Roger D. Hers...
LFP
1990
171views more  LFP 1990»
15 years 7 months ago
Operational and Axiomatic Semantics of PCF
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
Brian T. Howard, John C. Mitchell
CSL
2010
Springer
15 years 7 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
MM
2010
ACM
182views Multimedia» more  MM 2010»
15 years 6 months ago
Joke-o-Mat HD: browsing sitcoms with human derived transcripts
Joke-o-mat HD is a system that allows a user to navigate sitcoms (such as Seinfeld) by "narrative themes", including scenes, punchlines, and dialog segments. The themes ...
Adam Janin, Luke R. Gottlieb, Gerald Friedland
MM
2010
ACM
174views Multimedia» more  MM 2010»
15 years 6 months ago
Personalized photograph ranking and selection system
In this paper, we propose a novel personalized ranking system for amateur photographs. Although some of the features used in our system are similar to previous work, new features,...
Che-Hua Yeh, Yuan-Chen Ho, Brian A. Barsky, Ming O...