Sciweavers

2117 search results - page 112 / 424
» A Metadata Model for Capturing Presentations
Sort
View
ATAL
2008
Springer
13 years 10 months ago
Verifying Social Expectations by Model Checking Truncated Paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
Stephen Cranefield, Michael Winikoff
IM
2007
13 years 8 months ago
Pursuit-Evasion in Models of Complex Networks
Vertex pursuit games, such as the game of Cops and Robbers, are a simplified model for network security. In these games, cops try to capture a robber loose on the vertices of the ...
Anthony Bonato, Pawel Pralat, Changping Wang
ARESEC
2011
95views more  ARESEC 2011»
12 years 8 months ago
Bulletin Boards in Voting Systems: Modelling and Measuring Privacy
—Transparency is crucial to ensuring fair, honest elections. Transparency is achieved by making information (e.g. election result) public. In e-voting literature, this publicatio...
Hugo Jonker, Jun Pang
SMI
2008
IEEE
116views Image Analysis» more  SMI 2008»
14 years 2 months ago
A novel method for alignment of 3D models
In this paper we present a new method for alignment of 3D models. This approach is based on symmetry properties, and uses the fact that the principal components analysis (PCA) hav...
Mohamed Chaouch, Anne Verroust-Blondet
HAPTICS
2007
IEEE
14 years 2 months ago
Soft Finger Model with Adaptive Contact Geometry for Grasping and Manipulation Tasks
This paper presents a method for building analytical contact models for soft fingers. Friction constraints are derived based on general expressions for non-planar contacts of ela...
Matei T. Ciocarlie, Claire Lackner, Peter K. Allen