478 search results - page 70 / 96 » Monads of Regular Theories |
ICIP
2002
IEEE
16 years 16 days ago
2002
IEEE
In this paper, we introduce a novel approach for simultaneous restoration and segmentation of blurred, noisy images by approaching a variant of the Mumford-Shah functional from a ...
193
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
100
click to vote
SAGT
2009
Springer
15 years 5 months ago
2009
Springer
We study auctions whose bidders are embedded in a social or economic network. As a result, even bidders who do not win the auction themselves might derive utility from the auction,...
SIGECOM
2009
ACM
15 years 5 months ago
2009
ACM
We consider models for bargaining in social networks, in which players are represented by vertices and edges represent bilateral opportunities for deals between pairs of players. ...
103
click to vote
MFCS
2007
Springer
15 years 5 months ago
2007
Springer
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...