4850 search results - page 606 / 970 » Proof and Computation in Geometry |
246
click to vote
Publication
Distance bounding protocols are an effective countermeasure against relay attacks including distance fraud, mafia fraud and terrorist fraud attacks. Reid et al. proposed the first ...
170
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
157
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
This paper outlines a series of experiments looking at the annotation and subsequent analysis of skills-based learning and teaching in the domain of Nursing. The experiments used ...
229
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces scale transforms to measure rhythmic similarity between two musical pieces. The rhythm of a piece of music is described by the scale transform magnitude, com...
178
click to vote
WMCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
There is an inherent tension between the value provided by Location-Based Services (LBSs) and the location-privacy concerns they raise. Unfortunately, users are often forced to ei...