11022 search results - page 122 / 2205 » Programming Systems for Autonomy |
115
Voted
EUROMICRO
1997
IEEE
15 years 9 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
148
click to vote
WSC
2000
15 years 6 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
171
click to vote
ENTCS
2002
15 years 4 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
137
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
141
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
This paper presents novel analysis results for input-to-state stability (ISS) that utilise dynamic programming techniques to characterise minimal ISS gains and transient bounds. Th...