Sciweavers

4047 search results - page 120 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
112
Voted
CCCG
2009
15 years 5 months ago
Symmetry Restoration by Stretching
We consider restoring the bilateral symmetry of an object which has been deformed by compression. This problem arises in paleontology, where symmetric bones are compressed in the ...
Michael M. Kazhdan, Nina Amenta, Shengyin Gu, Davi...
BIRTHDAY
2005
Springer
15 years 10 months ago
Planning in Answer Set Programming using Ordered Task Decomposition
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
Jürgen Dix, Ugur Kuter, Dana S. Nau
ASIAN
2007
Springer
76views Algorithms» more  ASIAN 2007»
15 years 8 months ago
Secure Verification of Location Claims with Simultaneous Distance Modification
We investigate the problem of verifying location claims of mobile devices, and propose a new property called simultaneous distance modification (SDM). In localization protocols sat...
Vitaly Shmatikov, Ming-Hsiu Wang
AAAI
2010
15 years 6 months ago
A First Practical Algorithm for High Levels of Relational Consistency
Consistency properties and algorithms for achieving them are at the heart of the success of Constraint Programming. In this paper, we study the relational consistency property R(,...
Shant Karakashian, Robert J. Woodward, Christopher...
CTRSA
2008
Springer
197views Cryptology» more  CTRSA 2008»
15 years 6 months ago
Legally-Enforceable Fairness in Secure Two-Party Computation
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computation should...
Andrew Y. Lindell