132 search results - page 11 / 27 » An overview of the K semantic framework |
73
Voted
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
We present an interactive visualization, called Table Of Video Contents (TOVC), for browsing structured TV programs such as news, magazines or sports. In these telecasts, getting ...
CC
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...
82
Voted
IJCAI
2001
14 years 11 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
85
Voted
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
Shrack is a peer-to-peer framework for document sharing and tracking. Shrack peers provide support to researchers in forming direct collaboration in autonomous sharing and keeping...
ITICSE
2009
ACM
15 years 4 months ago
2009
ACM
Student involvement in Humanitarian Free and Open Source Software (HFOSS) projects holds the potential to provide a rich education experience to undergraduates. This paper discuss...