Sciweavers

3457 search results - page 295 / 692
» A Symbol Is Not a Symbol
Sort
View
ISSAC
2007
Springer
106views Mathematics» more  ISSAC 2007»
16 years 24 days ago
Numerical techniques for computing the inertia of products of matrices of rational numbers
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
John P. May, B. David Saunders, David Harlan Wood
ISCA
2010
IEEE
189views Hardware» more  ISCA 2010»
15 years 11 months ago
RETCON: transactional repair without replay
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...
Colin Blundell, Arun Raghavan, Milo M. K. Martin
EUROCOLT
1999
Springer
15 years 11 months ago
Learning Range Restricted Horn Expressions
We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
Roni Khardon
ICC
2011
IEEE
203views Communications» more  ICC 2011»
14 years 6 months ago
Constellation Shaping for Bit-Interleaved Coded APSK
—This paper considers a technique for shaping a turbo-coded amplitude-phase shift keying (APSK) constellation. After bit-interleaving, a subset of the bits output by a binary tur...
Matthew C. Valenti, Xingyu Xiang
LREC
2008
89views Education» more  LREC 2008»
15 years 8 months ago
Sign Language Corpus Annotation: toward a new Methodology
This paper deals with non manual gestures annotation involved in Sign Language within the context of automatic generation of Sign Language. We will tackle linguistic researches in...
Emilie Chételat-Pelé, Annelies Braff...