2847 search results - page 351 / 570 » The Context-Dependent Role Model |
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
NLDB
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. For many applications such as machine translation and bilingual information retrieval, the bilingual corpora play an important role in training the system. Because they a...
SARA
2005
Springer
14 years 3 months ago
2005
Springer
This paper reconsiders the problems of discovering symmetries in constraint satisfaction problems (CSPs). It proposes a compositional approach which derives symmetries of the appli...
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
ESAW
2004
Springer
14 years 3 months ago
2004
Springer
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...