2102 search results - page 287 / 421 » A Relational Model for Object-Oriented Designs |
SSPR
2000
Springer
15 years 5 months ago
2000
Springer
We consider the problem and issues of classifier fusion and discuss how they should be reflected in the fusion system architecture. We adopt the Bayesian viewpoint and show how thi...
103
click to vote
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
125
click to vote
FLAIRS
2003
15 years 2 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...
121
click to vote
NIPS
2003
15 years 2 months ago
2003
We propose a method for sequential Bayesian kernel regression. As is the case for the popular Relevance Vector Machine (RVM) [10, 11], the method automatically identifies the num...
123
Voted
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...