1021 search results - page 59 / 205 » Concepts in Proof Planning |
Publication
Modern urban regions are highly complex entities. Despite the difficulty of modeling every relevant aspect of an urban region, researchers have produced a rich variety of models de...
DEON
2004
Springer
14 years 2 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
VISUALIZATION
1995
IEEE
14 years 7 days ago
1995
IEEE
Navigation in computer generated information spaces may be difficult, resulting in users getting “lost in hyperspace.” This work aims to build on research from the area of ci...
LREC
2008
13 years 10 months ago
2008
The present communication brings to the fore the work undertaken at IRCAM within CAL within the framework of the language planning of Amazigh, particularly on the side of terminol...
WM
2003
13 years 10 months ago
2003
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...