Sciweavers

8512 search results - page 408 / 1703
» Computing Theory With Relevance
Sort
View
IWANN
2001
Springer
15 years 11 months ago
Verifying Properties of Neural Networks
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
Pedro Rodrigues, José Félix Costa, H...
DAGSTUHL
1996
15 years 8 months ago
On-line Algorithms in Machine Learning
The areas of On-Line Algorithms and Machine Learning are both concerned with problems of making decisions about the present based only on knowledge of the past. Although these area...
Avrim Blum
ENTCS
2008
79views more  ENTCS 2008»
15 years 6 months ago
Tensors of Comodels and Models for Operational Semantics
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
Gordon D. Plotkin, John Power
SIGLEX
1991
15 years 10 months ago
Aspectual Requirements of Temporal Connectives: Evidence for a Two-Level Approach to Semantics
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
Michael Herweg
IPPS
2007
IEEE
16 years 1 months ago
A Strategyproof Mechanism for Scheduling Divisible Loads in Linear Networks
In this paper we augment DLT (Divisible Load Theory) with incentives such that it is beneficial for processors to report their true processing capacity and compute their assignme...
Thomas E. Carroll, Daniel Grosu