1888 search results - page 126 / 378 » Proof theory and computational analysis |
96
Voted
HICSS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a case study on the use of an alternative method of computer support to that normally used, one that uses voting as a tool for social rather than rational choi...
93
Voted
ICONIP
1998
15 years 1 months ago
1998
Many real processes are composed of a n-fold repetition of some simpler process. If the whole process can be modelled with a neural network, we present a method to derive a model ...
107
Voted
CIBCB
2006
IEEE
15 years 6 months ago
2006
IEEE
— Computational prediction of transcription factor’s binding sites and regulatory target genes has great value to the biological studies of cellular process. Existing practices...
120
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
In this note we consider a simple reformulation of the traditional power iteration algorithm for computing the stationary distribution of a Markov chain. Rather than communicate t...
92
Voted
GBRPR
2009
Springer
15 years 7 months ago
2009
Springer
The collection of behavior protocols is a common practice in human factors research, but the analysis of these large data sets has always been a tedious and time-consuming process....