Sciweavers

9997 search results - page 375 / 2000
» The case for crowd computing
Sort
View
ECCV
2004
Springer
16 years 8 months ago
Kernel Feature Selection with Side Data Using a Spectral Approach
Abstract. We address the problem of selecting a subset of the most relevant features from a set of sample data in cases where there are multiple (equally reasonable) solutions. In ...
Amnon Shashua, Lior Wolf
159
Voted
CAD
2008
Springer
15 years 6 months ago
Geometric Hermite interpolation with circular precision
We present several Hermite-type interpolation methods for rational cubics. In case the input data come from a circular arc, the rational cubic will reproduce it.
Gerald E. Farin
DSN
2005
IEEE
16 years 11 days ago
Fast Byzantine Consensus
— We present the first protocol that reaches asynchronous Byzantine consensus in two communication steps in the common case. We prove that our protocol is optimal in terms of bo...
Jean-Philippe Martin, Lorenzo Alvisi
193
Voted
ACSC
2002
IEEE
15 years 11 months ago
A Generalised Spreadsheet Verification Methodology
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
Nick Randolph, John Morris, Gareth Lee
IPL
2000
69views more  IPL 2000»
15 years 6 months ago
Generating all maximal models of a Boolean expression
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an e...
Dimitris J. Kavvadias, Martha Sideri, Elias C. Sta...