4117 search results - page 46 / 824 » On the Satisfiability of Complex Constraints |
ACL
1993
15 years 1 months ago
1993
There is a need to develop a suitable computational grammar formalism for free word order languages for two reasons: First, a suitably designed formalism is likely to be more effi...
104
click to vote
ISSS
1999
IEEE
15 years 4 months ago
1999
IEEE
Code generation methods for digital signal processors are increasingly hampered by the combination of tight timing constraints imposed by the algorithms and the limited capacity o...
102
click to vote
IJCV
2007
14 years 11 months ago
2007
We present a novel approach for the estimation of 3D-motion directly from two images using the Radon transform. The feasibility of any camera motion is computed by integrating over...
112
click to vote
WCNC
2010
IEEE
14 years 10 months ago
2010
IEEE
—With the ever increasing interest in multiple-input multiple-output (MIMO) cognitive radio (CR) systems, reducing the costs associated with RF-chains at the radio front end beco...
103
click to vote
CODES
2006
IEEE
15 years 1 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...