3468 search results - page 380 / 694 » An open logical framework |
149
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
126
Voted
EDOC
2003
IEEE
15 years 10 months ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....
122
click to vote
VRST
1999
ACM
15 years 9 months ago
1999
ACM
Performing 3D interactions with virtual objects easily becomes a complex task, limiting the implementation of larger applications. In order to overcome some of these limitations, ...
136
click to vote
RIDE
1999
IEEE
15 years 9 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
151
click to vote
ATAL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...