2273 search results - page 325 / 455 » On the Expressiveness and Complexity of ATL |
AGENTS
2000
Springer
15 years 2 months ago
2000
Springer
In an agent-based system, where different agents form dynamic associations for the purposes of collaborative processing, agents must be able to locate other agents that can provi...
CC
2000
Springer
15 years 2 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
COOPIS
1999
IEEE
15 years 2 months ago
1999
IEEE
The Web so far has been incredibly successful at delivering information to human users. So successful actually, that there is now an urgent need to go beyond a browsing human and ...
143
click to vote
SIGGRAPH
1999
ACM
15 years 2 months ago
1999
ACM
In this paper, a new technique for modeling textured 3D faces is introduced. 3D faces can either be generated automatically from one or more photographs, or modeled directly throu...
DBPL
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...