338 search results - page 59 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
158
Voted
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
118
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...
114
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
132
Voted
IUI
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
124
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...