Sciweavers

276 search results - page 32 / 56
» Defining and computing accessibility radius
Sort
View
FAC
2008
92views more  FAC 2008»
13 years 7 months ago
Capture-avoiding substitution as a nominal algebra
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
Murdoch James Gabbay, Aad Mathijssen
MTA
2002
144views more  MTA 2002»
13 years 7 months ago
Semantic Extraction and Semantics-Based Annotation and Retrieval for Video Databases
Digital video databases have become more pervasive and finding video clips quickly in large databases becomes a major challenge. Due to the nature of video, accessing contents of v...
Yan Liu 0004, Fei Li
GIS
2010
ACM
13 years 2 months ago
Modelling spatial video as part of a GIS video analysis framework
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...
Paul Lewis
ICRA
2002
IEEE
97views Robotics» more  ICRA 2002»
14 years 20 days ago
Gripping Parts at Concave Vertices
ct A simple gripper with two vertical cylindrical jaws can make contact with external or internal concavities in polygonal and polyhedral parts to align and grip parts in form clos...
K. Gopalakrishnan 0002, Kenneth Y. Goldberg
CCS
2006
ACM
13 years 11 months ago
RoleMiner: mining roles using subset enumeration
Role engineering, the task of defining roles and associating permissions to them, is essential to realize the full benefits of the role-based access control paradigm. Essentially,...
Jaideep Vaidya, Vijayalakshmi Atluri, Janice Warne...