Sciweavers

2412 search results - page 276 / 483
» Which Problems Have Strongly Exponential Complexity
Sort
View
113
Voted
LPAR
2010
Springer
15 years 1 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska
165
Voted
ACL
2010
14 years 10 months ago
Adapting Self-Training for Semantic Role Labeling
Supervised semantic role labeling (SRL) systems trained on hand-crafted annotated corpora have recently achieved state-of-the-art performance. However, creating such corpora is te...
Rasoul Samad Zadeh Kaljahi
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
14 years 10 months ago
A fast well-conditioned interior point method for predictive control
Interior point methods (IPMs) have proven to be an efficient way of solving quadratic programming problems in predictive control. A linear system of equations needs to be solved in...
Amir Shahzad, Eric C. Kerrigan, George A. Constant...
127
Voted
TSP
2010
14 years 10 months ago
Dynamic spectrum management with the competitive market model
[1, 2] have shown for the dynamic spectrum allocation problem that a competitive market model (which sets a price for transmission power on each channel) leads to a greater social...
Yao Xie, Benjamin Armbruster, Yinyu Ye
220
Voted
ICDE
2004
IEEE
102views Database» more  ICDE 2004»
16 years 5 months ago
Approximate Temporal Aggregation
Temporal aggregate queries retrieve summarized information about records with time-evolving attributes. Existing approaches have at least one of the following shortcomings: (i) th...
Yufei Tao, Dimitris Papadias, Christos Faloutsos