Sciweavers

13489 search results - page 572 / 2698
» Operating System
Sort
View
CVPR
2008
IEEE
16 years 9 months ago
A recursive filter for linear systems on Riemannian manifolds
We present an online, recursive filtering technique to model linear dynamical systems that operate on the state space of symmetric positive definite matrices (tensors) that lie on...
Ambrish Tyagi, James W. Davis
ATVA
2008
Springer
159views Hardware» more  ATVA 2008»
15 years 9 months ago
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
John Håkansson, Jan Carlson, Aurelien Monot,...
IJCAI
1997
15 years 8 months ago
Exploration and Adaptation in Multiagent Systems: A Model-based Approach
Agents that operate in a multi-agent system can benefit significantly from adapting to other agents while interacting with them. This work presents a general architecture for a ...
David Carmel, Shaul Markovitch
PIMRC
2010
IEEE
15 years 4 months ago
Power angle profile measurements and capacity evaluation of a SIMO system at 60 GHz
This paper presents an experimental power angle profile measurement procedure, as well as theoretical capacity results of a single-input-multiple-output (SIMO) system which operate...
Nektarios Moraitis, Philip Constantinou, Demosthen...
DSN
2004
IEEE
15 years 10 months ago
A Framework for Evaluating Storage System Dependability
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
Kimberly Keeton, Arif Merchant