Sciweavers

436 search results - page 36 / 88
» Recursion and Complexity
Sort
View
ICASSP
2011
IEEE
14 years 6 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
16 years 2 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»
16 years 2 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
15 years 6 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
111
Voted
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
15 years 8 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...