Sciweavers

1567 search results - page 138 / 314
» A Mechanized Model of the Theory of Objects
Sort
View
ATAL
2007
Springer
15 years 5 months ago
Modeling plan coordination in multiagent decision processes
In multiagent planning, it is often convenient to view a problem as two subproblems: agent local planning and coordination. Thus, we can classify agent activities into two categor...
Ping Xuan
147
Voted
CORR
2010
Springer
225views Education» more  CORR 2010»
15 years 1 months ago
Analysis of the Security of BB84 by Model Checking
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
Mohamed Elboukhari, Mostafa Azizi, Abdelmalek Aziz...
119
Voted
COSIT
2009
Springer
141views GIS» more  COSIT 2009»
15 years 8 months ago
A Conceptual Model of the Cognitive Processing of Environmental Distance Information
Abstract. I review theories and research on the cognitive processing of environmental distance information by humans, particularly that acquired via direct experience in the enviro...
Daniel R. Montello
SACMAT
2004
ACM
15 years 7 months ago
X-GTRBAC admin: a decentralized administration model for enterprise wide access control
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...
Rafae Bhatti, James Joshi, Elisa Bertino, Arif Gha...
BMVC
1997
15 years 3 months ago
Real-time Dynamic Deformable Meshes for Volumetric Segmentation and Visualisation
This paper presents a surface segmentation method which uses a simulated inflating balloon model to segment surface structure from volumetric data using a triangular mesh. The mod...
Richard Bowden, T. A. Mitchell, M. Sahardi