1246 search results - page 168 / 250 » Recursive Timed Automata |
120
Voted
AAAI
2004
15 years 4 months ago
2004
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...
137
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing o...
112
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
135
Voted
INFORMATICALT
2002
15 years 2 months ago
2002
The problem of recursive estimation of a state of dynamic systems in the presence of time-varying outliers in observations to be processed has been considered. A learning phase use...
126
Voted
TVCG
1998
15 years 2 months ago
1998
—Recently, multiresolution visualization methods have become an indispensable ingredient of real-time interactive postprocessing. The enormous databases, typically coming along w...