Sciweavers

2343 search results - page 291 / 469
» Structure and Interpretation of Computer Programs
Sort
View
CCGRID
2007
IEEE
16 years 20 days ago
Collective Interfaces for Distributed Components
We propose to address collective communications in distributed components through collective interfaces. Collective interfaces handle data distribution, parallelism and synchroniz...
Françoise Baude, Denis Caromel, Ludovic Hen...
ECCV
2010
Springer
15 years 11 months ago
MRF Inference by k-Fan Decomposition and Tight Lagrangian Relaxation
We present a novel dual decomposition approach to MAP inference with highly connected discrete graphical models. Decompositions into cyclic k-fan structured subproblems are shown t...
UM
2007
Springer
16 years 12 days ago
Conceptualizing Student Models for ICALL
Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader p...
Luiz Amaral, Detmar Meurers
BIRTHDAY
2006
Springer
15 years 10 months ago
Data Flow Analysis for CCS
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
Hanne Riis Nielson, Flemming Nielson
IPL
2008
95views more  IPL 2008»
15 years 6 months ago
Distortion lower bounds for line embeddings
In this paper, we show how we can derive lower bounds and also compute the exact distortion for the line embeddings of some special metrics, especially trees and graphs with certai...
Claire Mathieu, Charalampos Papamanthou