Sciweavers

5592 search results - page 151 / 1119
» On Random Betweenness Constraints
Sort
View
IASTEDSE
2004
13 years 11 months ago
Conflict checking of separation of duty constraints in RBAC - implementation experiences
Separation of duty constraints define mutual exclusion relations between two entities (e.g. two permissions). Thus, a software component that supports the definition of separation...
Mark Strembeck
CORR
2010
Springer
133views Education» more  CORR 2010»
13 years 8 months ago
Reformulation of Global Constraints in Answer Set Programming
We show that global constraints on finite domains like alldifferent can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reform...
Christian Drescher, Toby Walsh
CORR
2010
Springer
84views Education» more  CORR 2010»
13 years 7 months ago
A Robust Beamformer Based on Weighted Sparse Constraint
Applying a sparse constraint on the beam pattern has been suggested to suppress the sidelobe level of a minimum variance distortionless response (MVDR) beamformer. In this letter, ...
Yipeng Liu, Qun Wan, Xiaoli Chu
ACL
2012
12 years 19 days ago
Sentence Compression with Semantic Role Constraints
For sentence compression, we propose new semantic constraints to directly capture the relations between a predicate and its arguments, whereas the existing approaches have focused...
Katsumasa Yoshikawa, Ryu Iida, Tsutomu Hirao, Mana...
ICONS
2009
IEEE
14 years 4 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet