2934 search results - page 138 / 587 » Universality in Multi-Agent Systems |
129
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
121
Voted
AAAI
2000
15 years 7 months ago
2000
The authors of this paper were tasked to create an automated campus-wide timetabling system, for both course and examination timetable scheduling, for the National University of S...
147
click to vote
ACL
1997
15 years 7 months ago
1997
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture suppo...
136
Voted
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
120
click to vote
ACHI
2009
IEEE
16 years 12 days ago
2009
IEEE
– This paper describes the design, development and user study of a text-to-speech system for reviewing email messages. The system retrieves messages, converts them to audio files...