1581 search results - page 206 / 317 » Mechanizing Inductive Reasoning |
135
click to vote
AGTIVE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
134
click to vote
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
The consolidation of the Web as one of the most important ways to share and spread information has given raise to a huge amount of information systems for this media. This is the r...
ICCSA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper, we consider a two-layer hierarchy, ı.e. micro and umbrella layer, cellular system, and propose a new hand-off mechanism to minimize call blocking probabil...
106
click to vote
ICES
2003
Springer
15 years 8 months ago
2003
Springer
In this article, we introduce the approach to the realization of ontogenetic development and fault tolerance that will be implemented in the POEtic tissue, a novel reconfigurable ...