8141 search results - page 76 / 1629 » Higher Order Generalization |
186
click to vote
FMSD
2002
15 years 6 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
143
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
155
click to vote
BMVC
2010
15 years 4 months ago
2010
Smarter phones have made handheld computer vision a reality, but limited bandwidth, storage space and processing power prevent mobile phones from leveraging the full body of exist...
154
click to vote
CISS
2008
IEEE
16 years 19 days ago
2008
IEEE
—We investigate the generalization of the Costas property in 3 or more dimensions, and we seek an appropriate definition. We offer a construction method based on the idea of res...
156
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. In the context of a branch-and-bound framewo...