Sciweavers

11211 search results - page 35 / 2243
» Rank-Sensitive Data Structures
Sort
View
FMSD
2002
114views more  FMSD 2002»
13 years 10 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
PKDD
2010
Springer
160views Data Mining» more  PKDD 2010»
13 years 9 months ago
Entropy and Margin Maximization for Structured Output Learning
Abstract. We consider the problem of training discriminative structured output predictors, such as conditional random fields (CRFs) and structured support vector machines (SSVMs)....
Patrick Pletscher, Cheng Soon Ong, Joachim M. Buhm...
ANOR
2010
139views more  ANOR 2010»
13 years 9 months ago
Some operations research methods for analyzing protein sequences and structures
Operations Research is probably one of the most successful fields of applied mathematics used in Economics, Physics, Chemistry, almost everywhere onehastoanalyzehugeamountsofdata.L...
Piotr Lukasiak, Jacek Blazewicz, Maciej Milostan
ASPDAC
2010
ACM
119views Hardware» more  ASPDAC 2010»
13 years 8 months ago
VISA: versatile impulse structure approximation for time-domain linear macromodeling
Abstract-- We develop a rational function macromodeling algorithm named VISA (Versatile Impulse Structure Approximation) for macromodeling of system responses with (discrete) time-...
Chi-Un Lei, Ngai Wong
ICANN
2011
Springer
13 years 2 months ago
Automatic Seizure Detection Incorporating Structural Information
Abstract. Traditional seizure detection algorithms act on single channels ignoring the synchronously recorded, inherently interdependent multichannel nature of EEG. However, the sp...
Borbala Hunyadi, Maarten De Vos, Marco Signoretto,...