1888 search results - page 126 / 378 » Proof theory and computational analysis |
175
click to vote
HICSS
1999
IEEE
15 years 11 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...
170
click to vote
ICONIP
1998
15 years 8 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 ...
202
click to vote
CIBCB
2006
IEEE
16 years 29 days 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...
198
click to vote
WWW
2005
ACM
16 years 7 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...
164
click to vote
GBRPR
2009
Springer
16 years 1 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....