2239 search results - page 123 / 448 » Computing with abstract matrix structures |
109
click to vote
GCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...
145
click to vote
GFKL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The problem of clustering data can be formulated as a graph partitioning problem. In this setting, spectral methods for obtaining optimal solutions have received a lot of...
137
Voted
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
130
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...
102
click to vote
IJON
2007
15 years 3 months ago
2007
Recent progress in chips–neuron interface suggests real biological neurons as long-term alternatives to silicon transistors. The first step ning such computing systems is to bu...