Sciweavers

9166 search results - page 429 / 1834
» A framework for comparing models of computation
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 29 days ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
ICPR
2008
IEEE
16 years 8 months ago
Efficient background modeling through incremental Support Vector Data Description
Background modeling is an essential and important part of many high-level video processing applications. Recently, the Support Vector Data Description (SVDD) has been introduced f...
Alireza Tavakkoli, Mircea Nicolescu, George Bebis,...
CHI
2007
ACM
16 years 7 months ago
An extensible platform for the interactive exploration of Fitts' Law and related movement time models
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...
Martin J. Schedlbauer
154
Voted
CVPR
2005
IEEE
16 years 8 months ago
A Caratheodory-Fejer Approach to Dynamic Appearance Modeling
This paper presents a technique to learn dynamic appearance models from a small number of training frames. Under this framework, dynamic appearance is modelled as an unknown opera...
Hwasup Lim, Octavia I. Camps, Mario Sznaier
ICAART
2010
INSTICC
16 years 3 months ago
A Pattern Approach to Modeling the Provider Selection Problem
This article introduces the notion of agreement patterns, which provide a framework for modelling reusable problem solution descriptions for agreement fulfilment. In particular, t...
José Javier Durán, Carlos Angel Igle...