1525 search results - page 116 / 305 » Matching with Regular Constraints |
128
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
137
click to vote
GD
2006
Springer
15 years 7 months ago
2006
Springer
The planarization method has proven to be successful in graph drawing. The output, a combinatorial planar embedding of the so-called planarized graph, can be combined with state-o...
145
click to vote
ICCV
1998
IEEE
16 years 5 months ago
1998
IEEE
`Invariant regions' are image patches that automatically deform with changing viewpoint as to keep on covering identical physical parts of a scene. Such regions are then desc...
127
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Most FPGA technology mapping approaches either target Lookup Tables (LUTs) or relatively simple Programmable Logic Blocks (PLBs). Considering networks of PLBs during technology map...
126
click to vote
DCC
2009
IEEE
16 years 4 months ago
2009
IEEE
When transmitting a Gaussian source over an AWGN channel with an input power constraint and a quadratic distortion measure, it is well known that optimal performance can be obtain...