8141 search results - page 76 / 1629 » Higher Order Generalization |
128
click to vote
FMSD
2002
15 years 16 days ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
90
Voted
PEPM
1993
ACM
15 years 4 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) ...
97
Voted
BMVC
2010
14 years 10 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...
CISS
2008
IEEE
15 years 7 months 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...
CORR
2004
Springer
15 years 18 days 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...