1300 search results - page 233 / 260 » Association Schemoids and Their Categories |
108
Voted
HASKELL
2007
ACM
15 years 2 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
86
Voted
ICAIL
2007
ACM
15 years 2 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
119
Voted
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
Team decision making under stress involving multiple contexts is an extremely challenging issue faced by various real world application domains. This research is targeted at coupl...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we produce complexity and impossibility results and develop algorithms for a task allocation problem that needs to be solved by a group of autonomous agents working ...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...