119 search results - page 3 / 24 » A Theory of Scope |
ISIPTA
2003
IEEE
14 years 22 days ago
2003
IEEE
The paper gives the solution of calculating maximal variance of fuzzy interval in the scope of the theory of imprecise probabilities. As it appears, this problem is more difficul...
KDD
2009
ACM
14 years 2 months ago
2009
ACM
The paradigm of “human computation” seeks to harness human abilities to solve computational problems or otherwise perform distributed work that is beyond the scope of current ...
PROCOMET
1998
13 years 8 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
IANDC
2007
13 years 7 months ago
2007
We introduce FMG (Fraenkel-Mostowski Generalised) set theory, a generalisation of FM set theory which allows binding of infinitely many names instead of just finitely many names...
IANDC
2008
13 years 7 months ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...