1937 search results - page 258 / 388 » Rule Based Updates on Simple Knowledge Bases |
133
click to vote
FPL
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes an analytical model, based principally on Rent's Rule, that relates logic architectural parameters to the area efficiency of an FPGA. In particular, the ...
123
Voted
VMV
2001
15 years 5 months ago
2001
This paper deals with robust point features selection for tracking. The aim is to identify unreliable features since the first frame so to track them in all the sequence. We exten...
118
Voted
FLAIRS
1998
15 years 5 months ago
1998
Our focus is on designing adaptable agents for highly dynamic environments. Wehave implementeda reinforcement learning architecture as the reactive componentof a twolayer control ...
144
Voted
CADE
2010
Springer
15 years 5 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...
155
click to vote
ICA
2010
Springer
15 years 5 months ago
2010
Springer
Independent Component Analysis is the best known method for solving blind source separation problems. In general, the number of sources must be known in advance. In many cases, pre...