417 search results - page 79 / 84 » Orderings for Innermost Termination |
ICDCS
2000
IEEE
13 years 11 months ago
2000
IEEE
Providing shared-memory abstraction in messagepassing systems often simplifies the development of distributed algorithms and allows for the reuse of sharedmemory algorithms in the...
ISMIR
2000
Springer
13 years 11 months ago
2000
Springer
Active listening is the core of musical activity Listening does not only concern receiving musical information. On the contrary, it is "active" and based on a set of int...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
AAAI
2008
13 years 9 months ago
2008
Most former studies of Distributed Constraint Optimization Problems (DisCOPs) search considered only complete search algorithms, which are practical only for relatively small prob...
COLCOM
2007
IEEE
13 years 9 months ago
2007
IEEE
—This paper proposes a framework for a virtual classroom application based on a Virtual Collaboration System (VCS), which is being developed under the VISNET II Network of Excell...