Sciweavers

11345 search results - page 1755 / 2269
» Foundations of Computer Science
Sort
View
CMSB
2007
Springer
15 years 11 months ago
Expressive Models for Synaptic Plasticity
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
150
Voted
GI
2007
Springer
15 years 11 months ago
MR Auto Racing Mixed Reality Game for Public Installation
: Mixed Reality Auto Racing is game for two to four players. The track is built from tangible objects (e. g. little cardboard houses) by the players and can be changed and rebuilt ...
Daniel Cermak-Sassenrath
154
Voted
TLCA
2007
Springer
15 years 11 months ago
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
Denis Cousineau 0002, Gilles Dowek
120
Voted
ACSC
2006
IEEE
15 years 11 months ago
Modelling layer 2 and layer 3 device bandwidths using B-node theory
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...
S. Cikara, Stanislaw P. Maj, David T. Shaw
FOCS
2006
IEEE
15 years 11 months ago
Hardness of Learning Halfspaces with Noise
Learning an unknown halfspace (also called a perceptron) from labeled examples is one of the classic problems in machine learning. In the noise-free case, when a halfspace consist...
Venkatesan Guruswami, Prasad Raghavendra
« Prev « First page 1755 / 2269 Last » Next »