4401 search results - page 624 / 881 » Computing with Default Logic |
173
click to vote
DALT
2005
Springer
16 years 5 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
152
click to vote
DNA
2005
Springer
16 years 5 days ago
2005
Springer
We introduce a class of generalized DNF formulae called wDNF or weighted disjunctive normal form, and present a molecular algorithm that learns a wDNF formula from training example...
176
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
177
click to vote
ESWS
2005
Springer
16 years 5 days ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
167
click to vote
EUC
2005
Springer
16 years 5 days ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...