2859 search results - page 298 / 572 » A Programming Environment for Bousi-Prolog |
205
click to vote
ICIC
2007
Springer
16 years 25 days 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...
162
click to vote
HASE
2005
IEEE
16 years 9 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...
173
click to vote
MFCS
2005
Springer
16 years 5 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...
188
click to vote
UM
2005
Springer
16 years 5 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...
174
click to vote
EUC
2005
Springer
16 years 4 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...