1547 search results - page 166 / 310 » Solving Knapsack Problems in a Sticker Based Model |
139
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
137
Voted
IUI
2010
ACM
16 years 12 days ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...
157
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
117
Voted
AAAI
2006
15 years 4 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
157
Voted
ICIP
1999
IEEE
16 years 5 months ago
1999
IEEE
The quadtree data structure is widely used in digital image processing and computer graphics for modeling spatial segmentation of images and surfaces. A quadtree is a tree in whic...