2859 search results - page 298 / 572 » A Programming Environment for Bousi-Prolog |
225
click to vote
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
We suggest to apply the hybrid neural network based on multi layer perceptron (MLP) and adaptive resonance theory (ART-2) for solving of navigation task of mobile robots. This appr...
177
click to vote
HASE
2005
IEEE
16 years 26 days ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
198
click to vote
MFCS
2005
Springer
16 years 23 days ago
2005
Springer
A sequential algorithm just follows its instructions and thus cannot make a nondeterministic choice all by itself, but it can be instructed to solicit outside help to make a choic...
216
click to vote
UM
2005
Springer
16 years 22 days ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...
187
click to vote
EUC
2005
Springer
16 years 22 days ago
2005
Springer
A new system for real-time customer relationship management is proposed. The system is based on deploying a network of RFID readers throughout an environment. Information about the...