11022 search results - page 114 / 2205 » Programming Systems for Autonomy |
113
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
130
click to vote
COMPCON
1995
IEEE
15 years 8 months ago
1995
IEEE
Interactive television is a technology for delivering television programming on demand to households and businesses. Rather than passively choosing from a predetermined set of pro...
126
Voted
KR
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
143
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
149
click to vote
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...