47 search results - page 10 / 10 » A Generic Model for Diagram Syntax and Semantics |
JAIR
2000
13 years 5 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
TMRA
2005
Springer
13 years 10 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...