Sciweavers

451 search results - page 34 / 91
» On Parameterized Exponential Time Complexity
Sort
View
LICS
2005
IEEE
15 years 8 months ago
Model-Checking Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Markus Lohrey
ICASSP
2011
IEEE
14 years 6 months ago
Rank-deficient quadratic-form maximization over M-phase alphabet: Polynomial-complexity solvability and algorithmic developments
The maximization of a positive (semi)definite complex quadratic form over a finite alphabet is NP-hard and achieved through exhaustive search when the form has full rank. Howeve...
Anastasios T. Kyrillidis, George N. Karystinos
147
Voted
PPDP
2010
Springer
15 years 22 days ago
Precise complexity analysis for efficient datalog queries
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
K. Tuncay Tekle, Yanhong A. Liu
ICC
2007
IEEE
303views Communications» more  ICC 2007»
15 years 9 months ago
Frequency Domain Channel Estimation for OFDM Based on Slepian Basis Expansion
Abstract—In this paper we propose a low complexity frequency domain channel estimator for pilot-symbol-assisted (PSA) orthogonal frequency division multiplexing (OFDM) systems in...
Jinho Kim, Chih-Wei Wang, Wayne E. Stark
AGP
1994
IEEE
15 years 7 months ago
What the Event Calculus actually does, and how to do it efficiently
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
Iliano Cervesato, Luca Chittaro, Angelo Montanari