1138 search results - page 142 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
117
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
126
click to vote
ICIAR
2005
Springer
15 years 8 months ago
2005
Springer
This paper proposes an iterative methodology for real-time robust mosaic topology inference. It tackles the problem of optimal feature selection (optimal sampling) for global estim...
127
Voted
DAC
1994
ACM
15 years 6 months ago
1994
ACM
We present a systematic approach to synthesize an instruction set such that the given application software can be efficiently mapped to a parameterized, pipelined microarchitectur...
129
Voted
CP
2006
Springer
15 years 6 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
143
Voted
DAS
2010
Springer
15 years 5 months ago
2010
Springer
We address the problem of handwritten symbol classification in the presence of distortions modeled by affine transformations. We consider shear, rotation, scaling and translation,...