29046 search results - page 162 / 5810 » Computable Models |
133
click to vote
ACMSE
2000
ACM
15 years 7 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
124
click to vote
AAAI
2007
15 years 5 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
125
click to vote
GCC
2003
Springer
15 years 8 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
131
Voted
PAAPP
2007
15 years 2 months ago
2007
The quantum model of computation not only o ers entirely new ways to manipulate information, but also allows information processing tasks to be formulated in unconventional, genui...
124
Voted
NIPS
2008
15 years 4 months ago
2008
Randomly connected recurrent neural circuits have proven to be very powerful models for online computations when a trained memoryless readout function is appended. Such Reservoir ...