3481 search results - page 126 / 697 » A New Approach to Component Testing |
FSTTCS
2006
Springer
15 years 1 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
DAGSTUHL
2007
14 years 11 months ago
2007
A lot of software infrastructures for distributed device ensembles with quite different approaches have been developed in the past. This article describes the need of a reference a...
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
Resource virtualization is currently being employed at all levels of the IT infrastructure to improve provisioning and manageability, with the goal of reducing total cost of owner...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Managing security risks in the Internet has so far mostly involved methods to reduce the risks and the severity of the damages. Those methods (such as firewalls, intrusion dete...
CAIP
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we propose a new manifold representation capable of being applied for visual speech recognition. In this regard, the real time input video data is compressed using P...