Sciweavers

2517 search results - page 95 / 504
» Specifying Weak Sets
Sort
View
CORR
2007
Springer
79views Education» more  CORR 2007»
15 years 5 months ago
Connecting Polygonizations via Stretches and Twangs
We show that the space of polygonizations of a fixed planar point set S of n points is connected by O(n2 ) “moves” between simple polygons. Each move is composed of a sequence...
Mirela Damian, Robin Y. Flatland, Joseph O'Rourke,...
ACL
2010
15 years 3 months ago
The Importance of Rule Restrictions in CCG
Combinatory Categorial Grammar (CCG) is generally construed as a fully lexicalized formalism, where all grammars use one and the same universal set of rules, and crosslinguistic v...
Marco Kuhlmann, Alexander Koller, Giorgio Satta
COMSIS
2010
15 years 2 months ago
An extended photometric stereo algorithm for recovering specular object shape and its reflectance properties
In Photometric stereo, the existence of specularities hampers to recover the normal map. To deal with this common reflective phenomenon, we introduce a novel representation for spe...
Zuoyong Zheng, Lizhuang Ma, Zhong Li, Zhihua Chen
IFIP
2010
Springer
15 years 7 days ago
A Calculus for the Analysis of Wireless Network Security Protocols
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
Francesco Ballardin, Massimo Merro
WWW
2007
ACM
16 years 6 months ago
Defeating script injection attacks with browser-enforced embedded policies
Web sites that accept and display content such as wiki articles or comments typically filter the content to prevent injected script code from running in browsers that view the sit...
Trevor Jim, Nikhil Swamy, Michael Hicks