Sciweavers

1912 search results - page 224 / 383
» On the evaluation of argumentation formalisms
Sort
View
SACMAT
2009
ACM
16 years 29 days ago
Access control policy combining: theory meets practice
Many access control policy languages, e.g., XACML, allow a policy to contain multiple sub-policies, and the result of the policy on a request is determined by combining the result...
Ninghui Li, Qihua Wang, Wahbeh H. Qardaji, Elisa B...
CONCUR
1998
Springer
15 years 10 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
CVPR
1999
IEEE
16 years 8 months ago
Projective Rotations Applied to a Pan-Tilt Stereo Head
A non-metric pan-tilt stereo-head consists of a weakly calibrated stereo rig mounted on a pan-tilt mechanism. It is called non-metric since neither the kinematics of the mechanism...
Andreas Ruf, Radu Horaud
ICDE
2007
IEEE
124views Database» more  ICDE 2007»
16 years 7 months ago
Topology Search over Biological Databases
We introduce the notion of a data topology and the problem of topology search over databases. A data topology summarizes the set of all possible relationships that connect a given...
Lin Guo, Jayavel Shanmugasundaram, Golan Yona
ICDE
2007
IEEE
178views Database» more  ICDE 2007»
16 years 7 months ago
Top-k Spatial Preference Queries
A spatial preference query ranks objects based on the qualities of features in their spatial neighborhood. For example, consider a real estate agency office that holds a database ...
Man Lung Yiu, Xiangyuan Dai, Nikos Mamoulis, Micha...