1411 search results - page 54 / 283 » Interactive Coding for Interactive Proofs |
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
VRST
2005
ACM
14 years 4 months ago
2005
ACM
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
NAR
2006
13 years 11 months ago
2006
The noncoding RNAs and protein related biomacromolecules interaction database (NPInter; http:// bioinfo.ibp.ac.cn/NPInter or http://www.bioinfo.org. cn/NPInter) is a database that...
FIW
2009
13 years 8 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
IUI
2012
ACM
12 years 6 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...