5122 search results - page 412 / 1025 » Comparing Consequence Relations |
155
click to vote
AUSAI
1998
Springer
15 years 11 months ago
1998
Springer
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
180
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
Email is one of the most successful computer applications yet devised. Our empirical data show however, that although email was originally designed as a communications application...
193
click to vote
TACS
1994
Springer
15 years 11 months ago
1994
Springer
In the A-calculus, there is a standard notion of what terms should be considered to be "undefined": the unsolvable terms. There are various equivalent characterisations o...
137
click to vote
SP
1989
IEEE
15 years 11 months ago
1989
IEEE
Routing mechanisms for inter-autonomousregion communication require distribution of policy-sensitive information as well as algorithms that operate on such information. Without su...
180
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
Electronic publishing is one part of a much larger process. There is a research lifecycle from creation of a programme for funded research through research proposals, projects, ou...