2190 search results - page 414 / 438 » An optimal algorithm to generate tilings |
127
click to vote
DBSEC
2006
15 years 3 months ago
2006
Abstract. Attack graph is important in defending against well-orchestrated network intrusions. However, the current analysis of attack graphs requires an algorithm to be developed ...
124
click to vote
SDM
2004
SIAM
15 years 3 months ago
2004
SIAM
Previous study has shown that mining frequent patterns with length-decreasing support constraint is very helpful in removing some uninteresting patterns based on the observation t...
114
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The stable marriage (SM) problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more genera...
122
click to vote
STOC
2005
ACM
16 years 2 months ago
2005
ACM
We study an extension of the "standard" learning models to settings where observing the value of an attribute has an associated cost (which might be different for differ...
153
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...