3690 search results - page 361 / 738 » Computation with classical sequents |
170
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
In recent years, universities have adopted eLearning solutions as part of their learning resources to provide students with digital and multimedia content. The effect of this stra...
191
Voted
ICAISC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Multigame playing agents are programs capable of autonomously learning to play new, previously unknown games. In this paper, we concentrate on the General Game Playing Co...
154
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a fast object class localization framework implemented on a data parallel architecture currently available in recent computers. Our case study, the im...
188
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
184
click to vote
AAAI
2010
15 years 8 months ago
2010
We propose in this paper a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is sta...