Sciweavers

4839 search results - page 197 / 968
» A survey of computational complexity results in systems and ...
Sort
View
CHI
2008
ACM
16 years 6 months ago
SearchBar: a search-centric web history for task resumption and information re-finding
Current user interfaces for Web search, including browsers and search engine sites, typically treat search as a transient activity. However, people often conduct complex, multique...
Dan Morris, Meredith Ringel Morris, Gina Venolia
POPL
2008
ACM
16 years 6 months ago
Lightweight semiformal time complexity analysis for purely functional data structures
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
Nils Anders Danielsson
AAAI
2006
15 years 8 months ago
The Complexity of Bribery in Elections
We study the complexity of influencing elections through bribery: How computationally complex is it for an external actor to determine whether by a certain amount of bribing voter...
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hem...
PPDP
2010
Springer
15 years 4 months 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
VTC
2006
IEEE
117views Communications» more  VTC 2006»
16 years 15 days ago
Low Complexity Soft Interference Cancellation for MIMO-Systems
— Iterative equalization has emerged as an efficient means of achieving near-capacity detection performance in multiple-antenna (MIMO) systems. However, many proposed detection ...
Steffen Bittner, Ernesto Zimmermann, Gerhard Fettw...