723 search results - page 14 / 145 » A Logical Architecture of a Normative System |
AAAI
2008
13 years 9 months ago
2008
This paper addresses the question of how statistical learning algorithms can be integrated into a larger AI system both from a practical engineering perspective and from the persp...
ECBS
2008
IEEE
14 years 2 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
RCC
2002
13 years 7 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
GCC
2003
Springer
14 years 22 days ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
TMC
2012
11 years 10 months ago
2012
—This paper studies video multicasting in large scale areas using wireless mesh networks. The focus is on the use of Internet access gateways that allow a choice of alternative r...