Sciweavers

5227 search results - page 333 / 1046
» Constructing New Media
Sort
View
193
Voted
IPL
2006
93views more  IPL 2006»
15 years 7 months ago
A decidable characterization of the classes between lintime and exptime
A language is defined by closure under safe iteration and under a new form of safe diagonalization that, unlike other forms of diagonalization used in literature to define sub-recu...
Salvatore Caporaso
JETAI
2008
86views more  JETAI 2008»
15 years 7 months ago
Weighting strategy for non-clausal resolution
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
Zbigniew Stachniak, Anton Belov
198
Voted
JCISD
2006
114views more  JCISD 2006»
15 years 7 months ago
Ensemble of Linear Models for Predicting Drug Properties
We propose a new classification method for prediction of drug properties, called the Random Feature Subset Boosting for Linear Discriminant Analysis (LDA). The main novelty of this...
Tomasz Arodz, David A. Yuen, Arkadiusz Z. Dudek
122
Voted
IJAC
2007
70views more  IJAC 2007»
15 years 7 months ago
The Free Alternative Superalgebra on One odd Generator
A base of the free alternative superalgebra on one odd generator is constructed. As a corollary, a base of the alternative Grassmann algebra is given. We also find a new element ...
Ivan Shestakov, Natalia Zhukavets
TIP
2008
109views more  TIP 2008»
15 years 7 months ago
A Wavelet-Laplace Variational Technique for Image Deconvolution and Inpainting
Abstract--We construct a new variational method for blind deconvolution of images and inpainting, motivated by recent PDE-based techniques involving the Ginzburg-Landau functional,...
Julia A. Dobrosotskaya, Andrea L. Bertozzi