9697 search results - page 1625 / 1940 » Intelligent Transportation Systems |
180
Voted
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
123
click to vote
PRIMA
2007
Springer
16 years 26 days ago
2007
Springer
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...
198
click to vote
PRIMA
2007
Springer
16 years 26 days ago
2007
Springer
Navigation services for pedestrians are spreading in recent years. Our approach to provide personal navigation is to build a multiagent system that assigns one guiding agent to eac...
147
click to vote
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
This paper shows how semantic web techniques can be applied to solving problems of distributed content creation, discovery, linking, aggregation, and reuse in health information po...
203
click to vote
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...