2470 search results - page 221 / 494 » Liveness-Preserving Simulation Relations |
181
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...
182
click to vote
BRAIN
2010
Springer
15 years 2 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
3041
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
This paper extends classical object pose and relative camera motion estimation algorithms for imaging sensors sampling the scene through light-paths. Many algorithms in multi-view...
129
click to vote
COGSR
2010
15 years 1 months ago
2010
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...
212
click to vote
EJWCN
2011
15 years 1 months ago
2011
Recently, the growing success of new wireless applications and services has led to overcrowded licensed bands, inducing the governmental regulatory agencies to consider more flex...