1096 search results - page 41 / 220 » Computation Slicing: Techniques and Theory |
134
Voted
SIGGRAPH
1999
ACM
15 years 4 months ago
1999
ACM
Traditionally, shape transformation using implicit functions is performed in two distinct steps: 1) creating two implicit functions, and 2) interpolating between these two functio...
107
click to vote
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Conventional information fusion architectures are challenged by developments in sensor networks that allow individually-owned (and thereby selfish) sensors to interact and share d...
90
Voted
TALG
2010
14 years 11 months ago
2010
Given a rectangular boundary partitioned into rectangles, the Minimum-Length Corridor (MLC-R) problem consists of finding a corridor of least total length. A corridor is a set of ...
114
Voted
COCO
2009
Springer
15 years 7 months ago
2009
Springer
—Consider the following Simultaneous Message Passing (SMP) model for computing a relation f ⊆ X ×Y ×Z. In this model Alice, on input x ∈ X and Bob, on input y ∈ Y, send o...
127
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...