936 search results - page 127 / 188 » The Synthesis Problem of Netcharts |
113
click to vote
RAS
2008
15 years 2 months ago
2008
The task of trajectory design of autonomous vehicles is typically two-fold. First, it needs to take into account the intrinsic dynamics of the vehicle, which are sometimes termed ...
166
click to vote
AUTOMATICA
2011
14 years 10 months ago
2011
We present a framework to solve a finite-time optimal control problem for parabolic partial differential equations (PDEs) with diffusivity-interior actuators, which is motivate...
131
click to vote
TOG
2010
14 years 10 months ago
2010
We present a multiple-feature approach for determining matches between small fragments of archaeological artifacts such as Bronze-Age and Roman frescoes. In contrast with traditio...
135
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...
153
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...