5414 search results - page 950 / 1083 » Data representation synthesis |
127
click to vote
ANNPR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Hierarchical neural networks show many benefits when employed for classification problems even when only simple methods analogous to decision trees are used to retrieve t...
129
click to vote
CHES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Recently, Lenstra and Verheul proposed an efficient cryptosystem called XTR. This system represents elements of F p6 with order dividing p2 -p+1 by their trace over Fp2 ....
150
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
161
click to vote
CVPR
2004
IEEE
15 years 7 months ago
2004
IEEE
Graphical models are powerful tools for processing images. However, the large dimensionality of even local image data poses a difficulty: representing the range of possible graphi...
136
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...