6045 search results - page 386 / 1209 » Computable Linearizations of Well-partial-orderings |
164
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
189
click to vote
MICCAI
2003
Springer
16 years 8 months ago
2003
Springer
A robust and automatic system has been developed to detect the visual axis and extract important feature landmarks from slit-lamp photographs, and objectively grade the severity of...
178
click to vote
VLSID
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper presents the power and performance analysis of a digital, direct sequence ultra-wideband (DS-UWB) receiver operating in the 3 to 4 GHz band. The signal to noise and dis...
182
click to vote
STOC
2003
ACM
16 years 8 months ago
2003
ACM
For a Boolean formula on n variables, the associated property P is the collection of n-bit strings that satisfy . We study the query complexity of tests that distinguish (with hig...
195
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...