9166 search results - page 390 / 1834 » A framework for comparing models of computation |
213
Voted
DIS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...
189
click to vote
ICIA
2007
15 years 9 months ago
2007
There is a growing interest in intelligent assistants for a variety of applications from organizing tasks for knowledge workers to helping people with dementia. In our earlier wor...
180
click to vote
STOC
2004
ACM
16 years 7 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...
178
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
The non-rigid registration of a group of images shares a common feature with building a model of a group of images: a dense, consistent correspondence across the group. Image regis...
196
click to vote
BIOCOMP
2007
15 years 8 months ago
2007
Abstract—This paper presents a stochastic modelling framework for complex biochemical reaction networks from a component-based perspective. Our approach takes into account the di...