Sciweavers

5244 search results - page 103 / 1049
» Structural Complexity of AvgBPP
Sort
View
PAMI
1998
85views more  PAMI 1998»
13 years 8 months ago
Shape Evolution With Structural and Topological Changes Using Blending
This paper describes a framework for the estimation of shape from sparse or incomplete range data. It uses a shape representation called blending, which allows for the geometric c...
Douglas DeCarlo, Dimitris N. Metaxas
ICMLA
2009
13 years 6 months ago
Structured Prediction with Relative Margin
In structured prediction problems, outputs are not confined to binary labels; they are often complex objects such as sequences, trees, or alignments. Support Vector Machine (SVM) ...
Pannagadatta K. Shivaswamy, Tony Jebara
GECCO
2011
Springer
247views Optimization» more  GECCO 2011»
13 years 13 days ago
An agent-based model of the effects of a primate social structure on the speed of natural selection
The rate of speciation is in most mammals an order of magnitude faster than in most other vertebrates. It is faster still in the social mammals. The apparent association between c...
Gideon M. Gluckman, Joanna Bryson
ENTCS
2007
156views more  ENTCS 2007»
13 years 9 months ago
Bounded Model Checking with Parametric Data Structures
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
Erika Ábrahám, Marc Herbstritt, Bern...
FMSD
2002
114views more  FMSD 2002»
13 years 8 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa