935 search results - page 100 / 187 » Stable models and difference logic |
108
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
The quality of coded images is often assessed by a subjective test. Usually the viewers get as much time as they need to find a stable result. In video sequences however, the view...
139
click to vote
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
145
Voted
JPDC
2008
15 years 3 months ago
2008
In this paper, we present parallel multilevel algorithms for the hypergraph partitioning problem. In particular, we describe schemes for parallel coarsening, parallel greedy k-way...
154
Voted
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
137
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...