Sciweavers

1888 search results - page 168 / 378
» Proof theory and computational analysis
Sort
View
85
Voted
IMSCCS
2007
IEEE
15 years 7 months ago
Multi-dimensional Cluster Misclassification Test for Pathway Differential Analysis of Diabetes
Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that pl...
Lily R. Liang, Vinay Mandal, Yi Lu, Deepak Kumar
TELETRAFFIC
2007
Springer
15 years 6 months ago
A Phase-Type Based Markov Chain Model for IEEE 802.16e Sleep Mode and Its Performance Analysis
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
Zhisheng Niu, Yanfeng Zhu, Vilius Benetis
NORDICHI
2006
ACM
15 years 6 months ago
A new role for anthropology?: rewriting "context" and "analysis" in HCI research
In this paper we want to reconsider the role anthropology (both its theory and methods) can play within HCI research. One of the areas anthropologists can contribute to here is to...
Minna Räsänen, James M. Nyce
PPSN
2004
Springer
15 years 6 months ago
Experimental Supplements to the Theoretical Analysis of EAs on Problems from Combinatorial Optimization
It is typical for the EA community that theory follows experiments. Most theoretical approaches use some model of the considered evolutionary algorithm (EA) but there is also some ...
Patrick Briest, Dimo Brockhoff, Bastian Degener, M...
106
Voted
ATAL
2006
Springer
15 years 4 months ago
Junta distributions and the average-case complexity of manipulating elections
Encouraging voters to truthfully reveal their preferences in an election has long been an important issue. Previous studies have shown that some voting protocols are hard to manip...
Ariel D. Procaccia, Jeffrey S. Rosenschein