697 search results - page 53 / 140 » Decomposition Structures for Event-B |
104
click to vote
NAACL
2010
14 years 9 months ago
2010
In this paper we investigate how to identify initiation-response pairs in asynchronous, multi-threaded, multi-party conversations. We formulate the task of identifying initiation-...
ICIP
2000
IEEE
16 years 1 months ago
2000
IEEE
This paper describes a low-memory cache efficient Hybrid Block Coder (HBC) for images in which an image subband decomposition is partitioned into a combination of spatial blocks a...
105
click to vote
CHI
2002
ACM
16 years 6 days ago
2002
ACM
Breakdown analysis involves decomposing data into subgroups to allow for comparison and identification of problem areas. Good analysis requires the ability to group data based on ...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract: An original technique to transform functional representation of the design into a structural representation in form of a data flow graph (DFG) is described. A canonical,...
109
click to vote
PODC
2010
ACM
15 years 1 months ago
2010
ACM
We give a graph decomposition technique that creates entirely independent subproblems for graph problems such as coloring and dominating sets that can be solved without synchroniz...