Sciweavers

436 search results - page 36 / 88
» Recursion and Complexity
Sort
View
ICASSP
2011
IEEE
12 years 11 months ago
On efficient soft-input soft-output encoding of convolutional codes
We study efficient algorithms for soft-input soft-output (SISO) encoding of convolutional codes. While the BCJR algorithm has been suggested for SISO encoding, we show that a for...
Andreas Winkelbauer, Gerald Matz
POPL
2008
ACM
14 years 8 months ago
The intensional content of Rice's theorem
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
Andrea Asperti
PODS
2005
ACM
109views Database» more  PODS 2005»
14 years 8 months ago
XPath satisfiability in the presence of DTDs
We study the satisfiability problem associated with XPath in the presence of DTDs. This is the problem of determining, given a query p in an XPath fragment and a DTD D, whether or...
Michael Benedikt, Wenfei Fan, Floris Geerts
ACSC
2004
IEEE
13 years 11 months ago
On Improving the Memory Access Patterns During The Execution of Strassen's Matrix Multiplication Algorithm
Matrix multiplication is a basic computing operation. Whereas it is basic, it is also very expensive with a straight forward technique of O(N3 ) runtime complexity. More complex s...
Hossam A. ElGindy, George Ferizis
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
14 years 1 months ago
Multi-Method Approaches to Digital Government Research: Value Lessons and Implementation Challenges
Digital government is a complex organizational and social phenomenon. It involves technical, organizational, and policy elements, as well as their complex and recursive interactio...
José Ramón Gil-García, Theres...