Sciweavers

1516 search results - page 70 / 304
» Generalizing Indexical-Functional Reference
Sort
View
ICFP
2012
ACM
13 years 6 days ago
Functional programming with structured graphs
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
Bruno C. d. S. Oliveira, William R. Cook
SSPR
2000
Springer
15 years 1 months ago
Prototype Learning with Attributed Relational Graphs
An algorithm for learning structural patterns given in terms of Attributed Relational Graphs (ARG's) is presented. The algorithm, based on inductive learning methodologies, pr...
Pasquale Foggia, Roberto Genna, Mario Vento
ETT
2008
100views Education» more  ETT 2008»
14 years 10 months ago
On the capacity of interference channels with one cooperating transmitter
Inner and outer bounds are established on the capacity region of two-sender, two-receiver interference channels where one transmitter knows both messages. The transmitter with extr...
Ivana Maric, Andrea J. Goldsmith, Gerhard Kramer, ...
SIGECOM
2011
ACM
320views ECommerce» more  SIGECOM 2011»
14 years 19 days ago
Market making and mean reversion
Market making refers broadly to trading strategies that seek to profit by providing liquidity to other traders, while avoiding accumulating a large net position in a stock. In th...
Tanmoy Chakraborty, Michael Kearns
POPL
2012
ACM
13 years 5 months ago
The marriage of bisimulations and Kripke logical relations
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Va...