Sciweavers

909 search results - page 24 / 182
» Temporal Logic Case Study
Sort
View
ICIP
2006
IEEE
14 years 10 months ago
Studying Temporal Correlation Noise Modeling for Pixel Based Wyner-Ziv Video Coding
Wyner-Ziv (WZ) video coding ? a particular case of distributed video coding (DVC) ? is a new video coding paradigm based on two major Information Theory results: the Slepian-Wolf ...
Catarina Brites, Fernando Pereira, João Asc...
TIME
2009
IEEE
14 years 3 months ago
Strong Temporal, Weak Spatial Logic for Rule Based Filters
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
Roger Villemaire, Sylvain Hallé
KES
2004
Springer
14 years 2 months ago
Representing Knowledge in Controlled Natural Language: A Case Study
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
Rolf Schwitter
DC
2001
13 years 10 months ago
A Metadata Case Study for the FRBR Model Based on Chinese Painting and Calligraphy at the National Palace Museum in Taipei
In 1998, the Functional Requirements for Bibliographic Records FRBR model which is composed by four entities work, expression, manifestation and item and their associative relatio...
Simon C. Lin, Ya-ning Chen, Shu-jiun Chen, Yi-ting...
RTSS
2008
IEEE
14 years 3 months ago
On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study
Multicore platforms are predicted to become significantly larger in the coming years. Given that real-time workloads will inevitably be deployed on such platforms, the scalabilit...
Björn B. Brandenburg, John M. Calandrino, Jam...