Sciweavers

5615 search results - page 88 / 1123
» On the Computational Capabilities of Several Models
Sort
View
WCE
2007
14 years 11 months ago
Gene Selection for Tumor Classification Using Microarray Gene Expression Data
– In this paper we perform a t-test for significant gene expression analysis in different dimensions based on molecular profiles from microarray data, and compare several computa...
Krishna Yendrapalli, Ram B. Basnet, Srinivas Mukka...
ENTCS
2008
132views more  ENTCS 2008»
14 years 10 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
ECCC
2002
86views more  ECCC 2002»
14 years 9 months ago
Classical Physics and the Church-Turing Thesis
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...
Andrew Chi-Chih Yao
CCE
2005
14 years 9 months ago
CFD analyses of complex flows
Computational fluid dynamics (CFD) of complex processes and complicated geometries embraces the transport of momentum, heat, and mass including the description of reaction kinetic...
Richard Farmer, Ralph Pike, Gary Cheng
IBERAMIA
2004
Springer
15 years 3 months ago
Multi-session Management in Spoken Dialogue System
In order to increase the role of machines in supporting more capabilities as regards a spoken dialogue system, we present in this paper a new problem incorporating multi-session in...
Ngoc-Hoa Nguyen, Jean Caelen