4737 search results - page 76 / 948 » The LOGIC negotiation model |
ACL
2012
11 years 11 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
TSMC
2002
13 years 8 months ago
2002
Existing modeling frameworks for manufacturing system control can be classified into hierarchical, heterarchical, and hybrid control frameworks. The main drawbacks of existing fram...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
EUSFLAT
2009
13 years 6 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
We present a modular approach to deļ¬ning logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...