1588 search results - page 175 / 318 » Modular action language |
127
Voted
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
An agent may decide to delegate tasks to others. The act of delegating a task by one autonomous agent to another can be carried out by the performance of one or more imperative com...
128
Voted
POPL
1998
ACM
15 years 8 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
109
click to vote
IFIP
1992
Springer
15 years 8 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
117
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Tools that perform refactoring are currently under-utilized by programmers. As more advanced refactoring tools are designed, a great chasm widens between how the tools must be use...
115
click to vote
ACL
2006
15 years 5 months ago
2006
In order to build a simulated robot that accepts instructions in unconstrained natural language, a corpus of 427 route instructions was collected from human subjects in the office...