3233 search results - page 247 / 647 » Validation Method for Intelligent Systems |
153
click to vote
ESSMAC
2003
Springer
15 years 9 months ago
2003
Springer
Gaussian Process prior models, as used in Bayesian non-parametric statistical models methodology are applied to implement a nonlinear adaptive control law. The expected value of a...
131
click to vote
LATA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
121
click to vote
AICOM
2010
15 years 4 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
117
click to vote
JUCS
2008
15 years 4 months ago
2008
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
125
click to vote
IEAAIE
2009
Springer
15 years 10 months ago
2009
Springer
One of the main problems that we have to face when visiting public or official buildings (i.e hospitals or public administrations) is the lack of information and signs that can gui...