4911 search results - page 625 / 983 » Tree dependence analysis |
117
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
In this paper, we describe an evaluation of the Palette, a presentation tool that was reported at CHI '99. The Palette allows presenters to quickly access digital presentatio...
130
click to vote
STOC
2003
ACM
16 years 4 months ago
2003
ACM
We consider a fundamental problem in computational learning theory: learning an arbitrary Boolean function which depends on an unknown set of k out of n Boolean variables. We give...
132
Voted
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
139
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
137
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
— Fault injection has become a very classical method to determine the dependability of an integrated system with respect to soft errors. Due to the huge number of possible error ...