2642 search results - page 439 / 529 » Merge-by-Wire: Algorithms and System Support |
ENTCS
2007
13 years 9 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
AIR
2005
13 years 9 months ago
2005
As software organisations mature, their repositories of reusable software components from previous projects will also grow considerably. Remaining conversant with all components in...
TIT
2008
13 years 9 months ago
2008
A new wavelet-based methodology for representing data on regular grids is introduced and studied. The main attraction of this new L-CAMP methodology is in the way it scales with th...
TOG
2008
13 years 9 months ago
2008
We synchronize film cameras and LED lighting with off-the-shelf video projectors. Radiometric compensation allows displaying keying patterns and other spatial codes on arbitrary r...
CCE
2005
13 years 9 months ago
2005
In practical system identification, process optimization and controller design, it is often desirable to simultaneously handle several objectives and constraints. In some cases, t...