Sciweavers

31 search results - page 6 / 7
» Characterizing truthfulness in discrete domains
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
13 years 5 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
GIS
2008
ACM
14 years 6 months ago
Finding regional co-location patterns for sets of continuous variables in spatial datasets
This paper proposes a novel framework for mining regional colocation patterns with respect to sets of continuous variables in spatial datasets. The goal is to identify regions in ...
Christoph F. Eick, Jean-Philippe Nicot, Rachana Pa...
VTC
2007
IEEE
149views Communications» more  VTC 2007»
14 years 1 days ago
An Iterative Detection Aided Irregular Convolutional Coded Wavelet Videophone Scheme Using Reversible Variable-Length Codes and
— In this paper, we characterize the achievable performance of a wavelet encoding-based videophone system, which further compresses and protects the wavelet-based video codec’s...
Anh Quang Pham, Jin Wang, Lie-Liang Yang, Lajos Ha...
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
13 years 10 months ago
Controllability of the rotation of a quantum planar molecule
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...
Ugo V. Boscain, Thomas Chambrion, Paolo Mason, Mar...
IEEEMM
2002
291views more  IEEEMM 2002»
13 years 5 months ago
Semantic Annotation of Sports Videos
ion when we annotate content. This therefore requires us to investigate and model video semantics. Because of the type and volume of data, general-purpose approaches are likely to ...
Jürgen Assfalg, Marco Bertini, Carlo Colombo,...