Sciweavers

3307 search results - page 281 / 662
» The meaning of concurrent programs
Sort
View
PAMI
2007
176views more  PAMI 2007»
15 years 6 months ago
Approximate Labeling via Graph Cuts Based on Linear Programming
A new framework is presented for both understanding and developing graph-cut based combinatorial algorithms suitable for the approximate optimization of a very wide class of MRFs ...
Nikos Komodakis, Georgios Tziritas
185
Voted
ATAL
2011
Springer
14 years 6 months ago
Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
Munindar P. Singh
WEA
2009
Springer
126views Algorithms» more  WEA 2009»
16 years 1 months ago
Measuring the Similarity of Geometric Graphs
What does it mean for two geometric graphs to be similar? We propose a distance for geometric graphs that we show to be a metric, and that can be computed by solving an integer li...
Otfried Cheong, Joachim Gudmundsson, Hyo-Sil Kim, ...
ECOOP
2004
Springer
16 years 2 days ago
AOP and Reflection for Dynamic Hyperslices
In this paper we present a Model for Dynamic Hyperslices which uses a particular Aspect-Oriented (AO) approach – Hyperspaces – for decomposition and reflection as a means for ...
Ruzanna Chitchyan, Ian Sommerville
ECOOP
2004
Springer
16 years 2 days ago
Modules with Interfaces for Dynamic Linking and Communication
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...
Yu David Liu, Scott F. Smith