709 search results - page 85 / 142 » An Equational Theory for Transactions |
106
click to vote
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
103
click to vote
ICRA
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper investigates how to "observe" a planar object being pushed by a finger. The pushing is governed by a nonlinear system that relates through contact the object ...
SIAMAM
2008
14 years 11 months ago
2008
Abstract. We present a model of protein receptor trafficking within the membrane of a cylindrical dendrite containing small protrusions called spines. Spines are the locus of most ...
126
click to vote
TIM
2010
14 years 6 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
DAWAK
2001
Springer
15 years 3 months ago
2001
Springer
Data mining has been defined as the non- trivial extraction of implicit, previously unknown and potentially useful information from data. Association mining is one of the important...