IGPL
2010
13 years 10 months ago
2010
The main contribution of this paper is a (strong) completeness result for an axiomatization of Hansson [13]’s deontic system DSDL2, whose semantics involves a non-necessarily tr...
IPL
2002
13 years 12 months ago
2002
This note reports on the number of s-partitions of a natural number n. In an s-partition of n each cell has the form 2k - 1 for some integer k. Such partitions have potential appl...
IJPRAI
2000
14 years 3 days ago
2000
: The main contribution of this report is the development of an integer recurrent artificial neural network (IRANN) for classification of feature vectors. The network consists both...
ADHOC
2007
14 years 13 days ago
2007
Energy efficient and power aware protocols are of utmost importance in Sensor Networks. The most popular criteria, so far, for evaluating performance of energy-aware protocols are...
CDC
2009
IEEE
14 years 5 months ago
2009
IEEE
— This paper addressed the computation of the L2-induced gain for a class of switched systems. The main contribution of the paper is to completely characterize the induced gain o...
GCB
2004
Springer
14 years 5 months ago
2004
Springer
: The main contribution of this paper is a novel approach for fast searching in huge structural databases like the PDB. The data structure is based on an adaption of the generalize...
ITRUST
2005
Springer
14 years 5 months ago
2005
Springer
The paper makes two main contributions: (1) It presents experiences from using the CORAS language for security threat modelling to specify legal risk scenarios. These experiences a...
ICMCS
2006
IEEE
14 years 6 months ago
2006
IEEE
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
ICDM
2007
IEEE
14 years 6 months ago
2007
IEEE
We present a corpus-based method for estimating the importance of sentences. Our main contribution is two-fold. First, we introduce the idea of using the increasing amount of manu...