2586 search results - page 252 / 518 » Automatic Abstraction for Congruences |
171
click to vote
HPCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...
209
click to vote
IBPRIA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...
151
click to vote
IBPRIA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper an object learning system for image understanding is proposed. The knowledge acquisition system is designed as a supervised learning task, which emphasises ...
162
click to vote
ICANN
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The paper presents a new version of a GMDH type algorithm able to perform an automatic model structure synthesis, robust model parameter estimation and model validation i...
130
click to vote
ICCBR
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...