3994 search results - page 567 / 799 » A Linear Logical Framework |
184
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
162
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we solve the problem of detecting the entries of a sparse finite-alphabet signal from a limited amount of data, for instance obtained by compressive sampling. While...
185
click to vote
ESA
2006
Springer
15 years 11 months ago
2006
Springer
The objective of this paper is to characterize classes of problems for which a greedy algorithm finds solutions provably close to optimum. To that end, we introduce the notion of k...
182
click to vote
3DIM
2001
IEEE
15 years 11 months ago
2001
IEEE
This paper shows how range-flow can help to estimate the elastic constants of complete objects. In our framework, the object is deformed actively by a robotic device pushing into ...
153
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
Domain knowledge is essential for successful problem solving and optimization. This paper introduces a framework in which a form of automatic domain knowledge extraction can be im...