Sciweavers

2177 search results - page 337 / 436
» Relative Margin Machines
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
14 years 3 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
CPAIOR
2007
Springer
14 years 3 months ago
A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems
In this paper we present a destructive lower bound for a number of resource constrained project scheduling (RCPS) problems, which is based on column generation. We first look at t...
J. M. van den Akker, Guido Diepen, J. A. Hoogeveen
ECTEL
2007
Springer
14 years 3 months ago
LOCO-Analyst: A Tool for Raising Teachers' Awareness in Online Learning Environments
The paper presents LOCO-Analyst, an educational tool for providing teachers with feedback on the relevant aspects of the learning process taking place in a web-based learning envir...
Jelena Jovanovic, Dragan Gasevic, Christopher A. B...
ICMI
2007
Springer
183views Biometrics» more  ICMI 2007»
14 years 3 months ago
A survey of affect recognition methods: audio, visual and spontaneous expressions
Automated analysis of human affective behavior has attracted increasing attention from researchers in psychology, computer science, linguistics, neuroscience, and related discipli...
Zhihong Zeng, Maja Pantic, Glenn I. Roisman, Thoma...
SAMT
2007
Springer
136views Multimedia» more  SAMT 2007»
14 years 3 months ago
Ontology-Driven Semantic Video Analysis Using Visual Information Objects
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
Georgios Th. Papadopoulos, Vasileios Mezaris, Ioan...