Sciweavers

1333 search results - page 44 / 267
» Categorial Minimalism
Sort
View
GLVLSI
2007
IEEE
135views VLSI» more  GLVLSI 2007»
15 years 6 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»
15 years 6 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
15 years 6 months 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»
15 years 6 months 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
MM
2006
ACM
166views Multimedia» more  MM 2006»
15 years 5 months 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