7529 search results - page 188 / 1506 » The Modula-3 Type System |
216
click to vote
FROCOS
2011
Springer
14 years 5 months ago
2011
Springer
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
166
Voted
SIGPLAN
2002
15 years 5 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
162
Voted
MATES
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
167
Voted
ACL
2009
15 years 4 months ago
2009
Recent work on temporal relation identification has focused on three types of relations between events: temporal relations between an event and a time expression, between a pair o...
164
click to vote
SIGMOD
2002
ACM
15 years 5 months ago
2002
ACM
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...