1199 search results - page 195 / 240 » How to Compare the Power of Computational Models |
153
click to vote
CONCUR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
167
click to vote
PKC
2007
Springer
16 years 12 days ago
2007
Springer
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
127
click to vote
CVPR
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we address the problem of matching two images with two different resolutions: a high-resolution image and a low-resolution one. On the premise that changes in resolu...
164
click to vote
ICMLA
2004
15 years 7 months ago
2004
Expressing web page content in a way that computers can understand is the key to a semantic web. Generating ontological information from the web automatically using machine learni...
198
click to vote
JDCTA
2010
15 years 1 months ago
2010
Neural decoding is an important task for understanding how the biological nervous system performs computation and communication. This paper introduces a novel continuous neural de...