2911 search results - page 34 / 583 » A Theory of Expressiveness in Mechanisms |
147
click to vote
BC
2004
15 years 6 months ago
2004
The dynamic characteristics of human upper extremities are usually expressed by mechanical impedance. Although many studies have discussed human impedance characteristics, there ar...
196
click to vote
JOLLI
2006
15 years 6 months ago
2006
We examine the expressive power of probabilistic context free grammars (PCFGs), with a special focus on the use of probabilities as a mechanism for reducing ambiguity by filtering ...
184
click to vote
AAAI
2008
15 years 8 months ago
2008
We propose an expressive auction design that allows advertisers to specify the kinds of demographics and websites they wish to target within an advertising network. The design all...
147
click to vote
FOSSACS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
170
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...