Sciweavers

21 search results - page 3 / 5
» Extended k-Nearest Neighbours based on Evidence Theory
Sort
View
TR
2010
140views Hardware» more  TR 2010»
14 years 6 months ago
Modeling Failure Modes for Residual Life Prediction Using Stochastic Filtering Theory
This paper reports on a theoretical Bayesian modeling development for residual life prediction in the context of condition-based maintenance. At each monitoring point during a comp...
Matthew J. Carr, Wenbin Wang
CALCO
2007
Springer
95views Mathematics» more  CALCO 2007»
15 years 5 months ago
Higher Dimensional Trees, Algebraically
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...
Neil Ghani, Alexander Kurz
89
Voted
BVAI
2007
Springer
15 years 5 months ago
A Robotic Architecture with Innate Releasing Mechanism
In this paper we analyze the influence of the frequency of sensor data readings on the behaviours of a Robotic System (RS). This is done in the framework of behaviour based archit...
Ernesto Burattini, Silvia Rossi
84
Voted
ACMICEC
2007
ACM
112views ECommerce» more  ACMICEC 2007»
15 years 3 months ago
An empirical study of interest-based negotiation
While argumentation-based negotiation has been accepted as a promising alternative to game-theoretic or heuristic based negotiation, no evidence has been provided to confirm this ...
Philippe Pasquier, Ramon Hollands, Frank Dignum, I...
ESOP
2008
Springer
15 years 1 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong