Sciweavers

461 search results - page 46 / 93
» Simulating the universe
Sort
View
IWPSE
2005
IEEE
15 years 3 months ago
The LAN-simulation: A Refactoring Teaching Example
The notion of refactoring —transforming the sourcecode of an object-oriented program without changing its external behaviour — has been studied intensively within the last dec...
Serge Demeyer, Filip Van Rysselberghe, Tudor G&ici...
CIVR
2004
Springer
161views Image Analysis» more  CIVR 2004»
15 years 3 months ago
The CLEF Cross Language Image Retrieval Track (ImageCLEF) 2004
Abstract. In this paper we describe ImageCLEF1, the cross language image retrieval track of the Cross Language Evaluation Forum (CLEF3). We instigated and ran a pilot experiment in...
Paul Clough, Mark Sanderson, Henning Müller
NIPS
1996
14 years 11 months ago
Solving the Ill-Conditioning in Neural Network Learning
Abstract. In this paper we investigate the feed-forward learning problem. The well-known ill-conditioning which is present in most feed-forward learning problems is shown to be the...
P. Patrick van der Smagt, Gerd Hirzinger
LICS
2005
IEEE
15 years 3 months ago
Proof-Theoretic Approach to Description-Logic
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
Martin Hofmann
SPAA
2005
ACM
15 years 3 months ago
Parallelizing time with polynomial circuits
We study the problem of asymptotically reducing the runtime of serial computations with circuits of polynomial size. We give an algorithmic size-depth tradeoff for parallelizing ...
Ryan Williams