Sciweavers

9145 search results - page 122 / 1829
» Description Logic Systems
Sort
View
HICSS
2007
IEEE
93views Biometrics» more  HICSS 2007»
15 years 7 months ago
Using Systems Dynamics to Explore Effects of Counterterrorism Policy
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...
Tara Leweling, Otto Sieber
ICDIM
2010
IEEE
14 years 10 months ago
Digital solutions for inference rules in decision-supporting systems
In this paper, we discuss the use of digital circuits in decision support systems. For this, it is first necessary to translate the descriptions of situations and conclusions whic...
Erika Matsak, Peeter Lorents
129
Voted
LOGCOM
2000
93views more  LOGCOM 2000»
15 years 15 days ago
The product of converse PDL and polymodal K
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
Frank Wolter
143
Voted
ICIP
2005
IEEE
15 years 6 months ago
Scalable multiple description video coding with flexible number of descriptions
Multiple description video coding mitigates the effects of packet losses introduced by congestion and/or bit errors. In this paper, we propose a novel multiple description video c...
Emrah Akyol, A. Murat Tekalp, Mehmet R. Civanlar
115
Voted
DLOG
2007
15 years 3 months ago
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...