1789 search results - page 151 / 358 » New analysis and results for the Frank-Wolfe method |
114
Voted
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
111
click to vote
CAIP
2007
Springer
15 years 7 months ago
2007
Springer
In the present study, a new gridding method based on continuous wavelet transform (CWT) was performed. Line profiles of x and y axis were calculated, resulting to 2 different signa...
117
click to vote
WEBI
2007
Springer
15 years 7 months ago
2007
Springer
Nonnegative Matrix Factorization (NMF) has been proven to be effective in text mining. However, since NMF is a well-known unsupervised components analysis technique, the existing ...
103
click to vote
AIRS
2005
Springer
15 years 7 months ago
2005
Springer
Sentence level novelty detection aims at spotting sentences with novel information from an ordered sentence list. In the task, sentences appearing later in the list with no new me...
185
click to vote
RTA
2011
Springer
14 years 4 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...