Sciweavers

2272 search results - page 96 / 455
» Validity Invariants and Effects
Sort
View
ATAL
2009
Springer
13 years 11 months ago
Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies
Obligations can apply to individuals, either severally or collectively. When applied severally, each individual or member of a team is independently responsible to fulfill the obli...
Jurriaan van Diggelen, Jeffrey M. Bradshaw, Matthe...
COMPSAC
2004
IEEE
14 years 1 months ago
Web Application Bypass Testing
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang
ICPR
2008
IEEE
14 years 11 months ago
Harris feature vector descriptor (HFVD)
A new image feature called Harris feature vector is defined in this paper, which effectively describes the image gradient distribution. By computing the mean and the standard devi...
Xuguang Wang, Fuchao C. Wu, Zhiheng Wang
ICPR
2006
IEEE
14 years 11 months ago
Near-Duplicate Image Recognition and Content-based Image Retrieval using Adaptive Hierarchical Geometric Centroids
In this paper, we present a new feature extraction method that simultaneously captures the global and local characteristics of an image by adaptively computing hierarchical geomet...
Dave Elliman, Guoping Qiu, Jiwu Huang, Mai Yang
ISCAS
2008
IEEE
113views Hardware» more  ISCAS 2008»
14 years 4 months ago
Gramian-preserving frequency transformation for linear discrete-time systems using normalized lattice structure
Abstract— This paper presents a new algorithm for realization of Gramian-preserving frequency transformation for linear discrete-time systems. In the proposed algorithm, we const...
Shunsuke Koshita, Satoru Tanaka, Masahide Abe, Mas...