3690 search results - page 428 / 738 » Computation with classical sequents |
187
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
The accuracy and speed of path capacity measurement could be seriously affected by the presence of cross traffic on the path. In this paper, we propose a new cross-traffic filteri...
190
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
: Computer games play an increasing role in our modern information society. Besides pure entertainment, games can provide valuable input for social interaction, learning, etc. Rece...
180
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
The current best conformant probabilistic planners encode the problem as a bounded length CSP or SAT problem. While these approaches can find optimal solutions for given plan leng...
163
Voted
FUIN
2006
15 years 6 months ago
2006
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of univers...
174
click to vote
ENGL
2007
15 years 6 months ago
2007
This research introduces a general class of functions serving as generalized neuron models to be used in artificial neural networks. They are cast in the common framework of comp...