3718 search results - page 355 / 744 » Programming by Integration in Robotics |
212
click to vote
IJCAI
1997
15 years 8 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
180
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
195
click to vote
SIGCSE
1990
ACM
15 years 10 months ago
1990
ACM
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...
196
click to vote
AMR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Although many different types of technologies for information systems have evolved over the last decades (such as databases, video systems, the Internet and mobile telec...
209
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...