2015 search results - page 33 / 403 » Some Observations on Indifferentiability |
ECCC
2002
13 years 10 months ago
2002
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...
ACTA
1998
13 years 10 months ago
1998
We observe that every rst-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of manysorted formulas over that vocabulary. This re...
SAC
2002
ACM
13 years 10 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
WEBI
2010
Springer
13 years 8 months ago
2010
Springer
For most scientists, their research interests are dynamically changing all the time. Through an analysis of research interests, we find that all the changes are with some character...
CHI
1995
ACM
14 years 2 months ago
1995
ACM
We report tindings from an observational study on the nature of interruptions in the workplace. The results show that in most cases, (64”A), the recipient received some benefit ...