Sciweavers

1333 search results - page 44 / 267
» Categorial Minimalism
Sort
View
GLVLSI
2007
IEEE
135views VLSI» more  GLVLSI 2007»
16 years 1 months ago
Exact sat-based toffoli network synthesis
Compact realizations of reversible logic functions are of interest in the design of quantum computers. Such reversible functions are realized as a cascade of Toffoli gates. In th...
Daniel Große, Xiaobo Chen, Gerhard W. Dueck,...
GLVLSI
2007
IEEE
167views VLSI» more  GLVLSI 2007»
16 years 1 months ago
A new approach to logic synthesis of multi-output boolean functions on pal-based CPLDS
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...
Dariusz Kania
CCS
2007
ACM
16 years 28 days ago
Optimal security hardening using multi-objective optimization on attack tree models of networks
Researchers have previously looked into the problem of determining if a given set of security hardening measures can effectively make a networked system secure. Many of them also...
Rinku Dewri, Nayot Poolsappasit, Indrajit Ray, Dar...
ISSAC
2007
Springer
153views Mathematics» more  ISSAC 2007»
16 years 27 days ago
On exact and approximate interpolation of sparse rational functions
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
Erich Kaltofen, Zhengfeng Yang
167
Voted
MM
2006
ACM
166views Multimedia» more  MM 2006»
16 years 21 days ago
Video retargeting: automating pan and scan
When a video is displayed on a smaller display than originally intended, some of the information in the video is necessarily lost. In this paper, we introduce Video Retargeting th...
Feng Liu, Michael Gleicher