Sciweavers

INFORMATICALT
2010
151views more  INFORMATICALT 2010»
13 years 3 months ago
The Use of Group Delay Features of Linear Prediction Model for Speaker Recognition
Abstract. New text independent speaker identiļ¬cation method is presented. Phase spectrum of allpole linear prediction (LP) model is used to derive the speech features. The featur...
Algirdas Bastys, Andrej Kisel, Bernardas Salna
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
13 years 3 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
Filip Maric, Predrag Janicic
INFORMATICALT
2010
119views more  INFORMATICALT 2010»
13 years 3 months ago
Tight Arrival Curve at the Output of a Work-Conserving Blind Multiplexing Server
Abstract. As a means of supporting quality of service guarantees, aggregate multiplexing has attracted a lot of attention in the networking community, since it requires less comple...
Juan Echagüe, Vicent Cholvi
INFORMATICALT
2010
126views more  INFORMATICALT 2010»
13 years 3 months ago
Identity-Based Threshold Proxy Signature from Bilinear Pairings
Abstract. Delegation of rights is a common practice in the real world. We present two identitybased threshold proxy signature schemes, which allow an original signer to delegate he...
Jenshiuh Liu, Shaonung Huang
INFORMATICALT
2010
142views more  INFORMATICALT 2010»
13 years 3 months ago
Complexity Estimation of Genetic Sequences Using Information-Theoretic and Frequency Analysis Methods
The genetic information in cells is stored in DNA sequences, represented by a string of four letters, each corresponding to a deļ¬nite type of nucleotides. Genomic DNA sequences a...
Robertas Damasevicius
INFORMATICALT
2010
122views more  INFORMATICALT 2010»
13 years 3 months ago
On a Time-Varying Parameter Adaptive Self-Organizing System in the Presence of Large Outliers in Observations
In the previous papers (Pupeikis, 2000; Genov et al., 2006; Atanasov and Pupeikis, 2009), a direct approach for estimating the parameters of a discrete-time linear time-invariant (...
Rimantas Pupeikis
INFORMATICALT
2010
49views more  INFORMATICALT 2010»
13 years 3 months ago
Interval Arithmetic Based Optimization in Nonlinear Regression
The optimization problems occurring in nonlinear regression normally cannot be proven unimodal. In the present paper applicability of global optimization algorithms to this problem...
Antanas Zilinskas, Julius Zilinskas
INFORMATICALT
2010
116views more  INFORMATICALT 2010»
13 years 3 months ago
An Approach to Formalize Metainformation of Software Localizable Resources
Software localization is one of important tasks to insure a successful computer user experience. The paper discusses how localization of the software dialog text can be accelerated...
Valentina Dagiene, Tatjana Jevsikova
INFORMATICALT
2010
88views more  INFORMATICALT 2010»
13 years 3 months ago
Inapproximability Results for Wavelength Assignment in WDM Optical Networks
We address the issue of inapproximability of the wavelength assignment problem in wavelength division multiplexing (WDM) optical networks. We prove that in an n-node WDM optical ne...
Keqin Li