8699 search results - page 249 / 1740 » Elements of the Theory of Computation |
189
click to vote
PRL
1998
15 years 6 months ago
1998
We present a computational, group-theoretic approach to steerable functions. The approach is group-theoretic in that the treatment involves continuous transformation groups for wh...
212
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
407
click to vote
Book
"Spatial structures and spatial reasoning are essential to perception and cognition. Much
day-to-day practical information is about what happens at certain spatial locations....
170
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
181
click to vote
QEST
2007
IEEE
16 years 28 days ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...