1280 search results - page 81 / 256 » Soft Typing with Conditional Types |
DAARC
2009
Springer
14 years 3 months ago
2009
Springer
Expressions such as English himself are interpreted as locally bound anaphors in certain syntactic environments and are exempt from the binding conditions in others. This article p...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...
CIA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we compare state-of-the-art multi-agent reinforcement learning algorithms in a wide variety of games. We consider two types of algorithms: value iteration a...
INEX
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we report an initial comparison of relevance assessments made as part of the INEX 2006 Interactive Track (itrack’06) to those made for the topic assessmen...
ICICIC
2006
IEEE
14 years 3 months ago
2006
IEEE
Traditional nonlinear filtering techniques are observed in underutilization of blur identification techniques, and vice versa. To improve blind image restoration, a designed edg...