69 search results - page 13 / 14 » Corecursive Algebras: A Study of General Structured Corecurs... |
COMPGEOM
2009
ACM
13 years 12 months ago
2009
ACM
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
JLP
2006
13 years 5 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
CVPR
2006
IEEE
14 years 7 months ago
2006
IEEE
Image texture analysis has received a lot of attention in the past years. Researchers have developed many texture signatures based on texture measurements, for the purpose of uniq...
SIGMOD
2008
ACM
14 years 5 months ago
2008
ACM
As peer-to-peer (P2P) networks become more familiar to the database community, intense interest has built up in using their scalability and resilience properties to scale database...