3466 search results - page 427 / 694 » Fast computation of special resultants |
204
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
192
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
138
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
In this paper, we propose a unified framework for computing atlases from manually labeled data at various degrees of "sharpness" and the joint registration-segmentation o...
168
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Kernel k-means and spectral clustering have both been used to identify clusters that are non-linearly separable in input space. Despite significant research, these methods have re...
176
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...