Sciweavers

1631 search results - page 199 / 327
» Observing Functional Logic Computations
Sort
View
LCN
2005
IEEE
15 years 12 months ago
Light-Trail Networks: Design and Survivability
The light-trail architecture provides a novel solution to address IP-centric issues at the optical layer. By incorporating drop and continue functionality, overlaid with a lightwe...
Srivatsan Balasubramanian, Wensheng He, Arun K. So...
AINTEC
2005
Springer
15 years 12 months ago
Application-Level Versus Network-Level Proximity
Abstract. We motivate in this paper the need for application-level proximity. This proximity is a function of network characteristics that decide on the application performance. Mo...
Mohammad Malli, Chadi Barakat, Walid Dabbous
LFP
1990
171views more  LFP 1990»
15 years 7 months ago
Operational and Axiomatic Semantics of PCF
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
Brian T. Howard, John C. Mitchell
ECCC
2008
108views more  ECCC 2008»
15 years 6 months ago
The Complexity of Rationalizing Matchings
Given a set of observed economic choices, can one infer preferences and/or utility functions for the players that are consistent with the data? Questions of this type are called r...
Shankar Kalyanaraman, Christopher Umans
JMLR
2006
92views more  JMLR 2006»
15 years 6 months ago
Linear Programs for Hypotheses Selection in Probabilistic Inference Models
We consider an optimization problem in probabilistic inference: Given n hypotheses Hj, m possible observations Ok, their conditional probabilities pk j, and a particular Ok, selec...
Anders Bergkvist, Peter Damaschke, Marcel Lüt...