Sciweavers

256 search results - page 7 / 52
» Separation of NP-Completeness Notions
Sort
View
CONCUR
2008
Springer
13 years 9 months ago
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
Daniele Gorla
CLASSIFICATION
2006
58views more  CLASSIFICATION 2006»
13 years 7 months ago
On a Transvariation Based Measure of Group Separability
: In this paper, the potentialities of transvariation (Gini, 1959) in measuring the separation between two groups of multivariate observations are explored. With this aim, a modifi...
Daniela G. Calò
ICRA
2009
IEEE
150views Robotics» more  ICRA 2009»
14 years 2 months ago
Flow separation for fast and robust stereo odometry
— Separating sparse flow provides fast and robust stereo visual odometry that deals with nearly degenerate situations that often arise in practical applications. We make use of ...
Michael Kaess, Kai Ni, Frank Dellaert
RE
2005
Springer
14 years 27 days ago
Multi-Dimensional Separation of Concerns in Requirements Engineering
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...
Ana Moreira, Awais Rashid, João Araú...
CORR
2008
Springer
118views Education» more  CORR 2008»
13 years 7 months ago
An Activity-Based Model for Separation of Duty
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
Alessandro Colantonio, Roberto Di Pietro, Alberto ...