Sciweavers

3028 search results - page 151 / 606
» Integrating Temporal Logics
Sort
View
TIP
2010
138views more  TIP 2010»
15 years 3 months ago
Motion Tuned Spatio-Temporal Quality Assessment of Natural Videos
—There has recently been a great deal of interest in the development of algorithms that objectively measure the integrity of video signals. Since video signals are being delivere...
Kalpana Seshadrinathan, Alan C. Bovik
BSN
2006
IEEE
113views Sensor Networks» more  BSN 2006»
15 years 10 months ago
A Spatio-Temporal Architecture for Context Aware Sensing
Context-aware sensing is an integral part of the Body Sensor Network (BSN) design and it allows the understanding of intrinsic characteristics of the sensed signal and determinati...
Surapa Thiemjarus, Benny P. L. Lo, Guang-Zhong Yan...
DEON
2004
Springer
15 years 10 months ago
On Obligations and Abilities
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
Wojciech Jamroga, Wiebe van der Hoek, Michael Wool...
ICCAD
2004
IEEE
125views Hardware» more  ICCAD 2004»
16 years 1 months ago
Temporal floorplanning using the T-tree formulation
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang
TIME
2006
IEEE
15 years 10 months ago
DyST: Dynamic and Scalable Temporal Text Indexing
An increasing number of documents in companies and other organizations are now only available electronically, and exist in several versions updated at different times. In order to...
Kjetil Nørvåg, Albert Overskeid Nyb&o...