Sciweavers

6274 search results - page 421 / 1255
» From query complexity to computational complexity
Sort
View
ISSAC
2007
Springer
132views Mathematics» more  ISSAC 2007»
16 years 29 days ago
Structured matrix methods for polynomial root-finding
In this paper we discuss the use of structured matrix methods for the numerical approximation of the zeros of a univariate polynomial. In particular, it is shown that root-findin...
Luca Gemignani
ARTS
1999
Springer
15 years 11 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
Karl Lermer, Colin J. Fidge
CHI
2008
ACM
16 years 7 months ago
Values, value and worth: their relationship to hci?
This workshop explores the territory of `value-centred HCI' with the intention of freeing us from the tricky complexity of this topic and the multiple meanings of the words `...
David J. Gilmore, Gilbert Cockton, Elizabeth F. Ch...
MOC
2000
94views more  MOC 2000»
15 years 6 months ago
Irreducibility testing over local fields
The purpose of this paper is to describe a method to determine whether a bivariate polynomial with rational coefficients is irreducible when regarded as an element in Q((x))[y], th...
P. G. Walsh
NAACL
2010
15 years 4 months ago
A Hybrid Morphologically Decomposed Factored Language Models for Arabic LVCSR
In this work, we try a hybrid methodology for language modeling where both morphological decomposition and factored language modeling (FLM) are exploited to deal with the complex ...
Amr El-Desoky, Ralf Schlüter, Hermann Ney