11022 search results - page 340 / 2205 » Programming Systems for Autonomy |
165
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
174
click to vote
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
170
click to vote
AIIA
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents the user modeling and recommendation techniques applied in Personal Program Guide (PPG), a system generating personalized Electronic Program Guides for digital ...
183
click to vote
EPS
1998
Springer
15 years 10 months ago
1998
Springer
: This paper describes a new methodology for using genetic programming to solve the missile countermeasures optimization problem. The resulting system evolves programs that combine...
195
click to vote
SIGOPSE
1998
ACM
15 years 11 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...