1585 search results - page 121 / 317 » A framework for computer-aided validation |
118
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Given a sequence of observable features of a linear dynamical system (LDS), we propose the problem of finding a representation of the LDS which is sparse in terms of a given dict...
126
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
130
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
In video coding, certain limitations imposed by the environment, most typically the bit rate, need to be fulfilled. This is achieved by allowing the encoder to reduce the quality ...
118
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In a companion paper [1], we propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots over delaye...
104
Voted
SEW
2005
IEEE
15 years 9 months ago
2005
IEEE
The VizzAnalyzer is a framework for analyses and visualizations of software. It has been developed over years, to a great deal by students and PhD students. In between it has been...