Sciweavers

2142 search results - page 229 / 429
» Representing Time in Multimedia Systems
Sort
View
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
Branching Allen
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
Marco Ragni, Stefan Wölfl
KDD
2012
ACM
292views Data Mining» more  KDD 2012»
13 years 9 months ago
Online allocation of display ads with smooth delivery
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...
Anand Bhalgat, Jon Feldman, Vahab S. Mirrokni
ICFEM
2007
Springer
16 years 22 days ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
MOBIDE
2005
ACM
16 years 4 days ago
Context-aware optimization of continuous range queries maintenance for trajectories
This work addresses the problem of efficient maintenance of the (correct) answers to the continuous spatio-temporal range queries in Moving Objects Databases (MOD), which represen...
Goce Trajcevski, Hui Ding, Peter Scheuermann
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
15 years 11 months ago
Design of insulating devices for in vitro synthetic circuits
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
Elisa Franco, Domitilla Del Vecchio, Richard M. Mu...