367 search results - page 38 / 74 » Adapting functional programs to higher order logic |
JSAC
2007
15 years 13 days ago
2007
— We provide a theoretical framework for cross-layer design in multimedia communications to optimize single-user throughput by selecting the transmitted bit rate and payload size...
209
Voted
POPL
2005
ACM
16 years 26 days ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
86
Voted
NIPS
2008
15 years 2 months ago
2008
We study the profit-maximization problem of a monopolistic market-maker who sets two-sided prices in an asset market. The sequential decision problem is hard to solve because the ...
115
Voted
DMIN
2006
15 years 1 months ago
2006
Clustering is the process of locating patterns in large data sets. It is an active research area that provides value to scientific as well as business applications. Practical clust...
105
click to vote
TCS
2002
15 years 6 days ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...