Sciweavers

3370 search results - page 458 / 674
» Correlation Embedding Analysis
Sort
View
QEST
2007
IEEE
15 years 7 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
RTAS
2007
IEEE
15 years 7 months ago
Middleware Support for Aperiodic Tasks in Distributed Real-Time Systems
Many mission-critical distributed real-time applications must handle aperiodic tasks with end-to-end deadlines. However, existing middleware (e.g., RT-CORBA) lacks schedulability ...
Yuanfang Zhang, Chenyang Lu, Christopher D. Gill, ...
ATAL
2007
Springer
15 years 7 months ago
Demand side management in district heating systems
This paper describes a multiagent system that has made the voyage from research project to commercialised product. The purpose for the multiagent system is to dynamically control ...
Fredrik Wernstedt, Paul Davidsson, Christian Johan...
77
Voted
CAIP
2007
Springer
15 years 7 months ago
A Simplified Human Vision Model Applied to a Blocking Artifact Metric
A novel approach towards a simplified, though still reliable human vision model based on the spatial masking properties of the human visual system (HVS) is presented. The model con...
Hantao Liu, Ingrid Heynderickx
100
Voted
CEAS
2007
Springer
15 years 7 months ago
Image Spam Filtering by Content Obscuring Detection
We address the problem of filtering image spam, a rapidly spreading kind of spam in which the text message is embedded into attached images to defeat spam filtering techniques b...
Battista Biggio, Giorgio Fumera, Ignazio Pillai, F...