Sciweavers

1341 search results - page 97 / 269
» Periods in Extensions of Words
Sort
View
ANLP
1992
117views more  ANLP 1992»
15 years 7 months ago
Detecting and Correcting Morpho-syntactic Errors in Real Texts
This paper presents a system which detects and corrects morpho-syntactic errors in Dutch texts. It includes a spelling corrector and a shift-reduce parser for Augmented Context-fr...
Theo Vosse
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
15 years 7 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm
CSDA
2008
179views more  CSDA 2008»
15 years 6 months ago
A note on adaptive group lasso
Group lasso is a natural extension of lasso and selects variables in a grouped manner. However, group lasso suffers from estimation inefficiency and selection inconsistency. To re...
Hansheng Wang, Chenlei Leng
ENTCS
2006
131views more  ENTCS 2006»
15 years 6 months ago
The Case for Analog Circuit Verification
The traditional approach to validate analog circuits is to utilize extensive SPICElevel simulations. The main challenge of this approach is knowing when all important corner cases...
Chris J. Myers, Reid R. Harrison, David Walter, Ni...
IJON
2006
103views more  IJON 2006»
15 years 6 months ago
Kernel extrapolation
We present a framework for efficient extrapolation of reduced rank approximations, graph kernels, and locally linear embeddings (LLE) to unseen data. We also present a principled ...
S. V. N. Vishwanathan, Karsten M. Borgwardt, Omri ...