Sciweavers

485 search results - page 27 / 97
» The Sounds of Physical Shapes
Sort
View
JDCTA
2010
187views more  JDCTA 2010»
14 years 6 months ago
Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
Bo Meng, Wei Huang, Zimao Li, Dejun Wang
WSCG
2004
154views more  WSCG 2004»
15 years 1 months ago
Freeform Object Positioning by 3D Shape Matching Without Artificial Feature Points
Determining the position and orientation of a workpiece relative to a manufacturing device is a prerequisite for machining path planning. If the workpiece is freeform and if it co...
Joris S. M. Vergeest, Yu Song, D. Hartge
ANTSW
2004
Springer
15 years 3 months ago
Cooperative Transport of Objects of Different Shapes and Sizes
This paper addresses the design of control policies for groups of up to 16 simple autonomous mobile robots (called s-bots) for the cooperative transport of heavy objects of differe...
Roderich Groß, Marco Dorigo
EUSAI
2004
Springer
15 years 5 months ago
Shaping the Ambience of Homes with Domestic Hypermedia
We currently witness a massive digitization of domestic materials e.g. photos, music, calendars, recipes, notes, messages. This digitization provides new conditions for how we inte...
Marianne Graves Petersen, Kaj Grønbæk
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 11 days ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...