1722 search results - page 227 / 345 » On the sample mean of graphs |
158
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
175
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
135
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
Partial Scan techniques have been widely accepted as an effective solution to improve sequential ATPG performance while keeping acceptable area and performance overheads. Several ...
159
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we ref...
145
click to vote
AAECC
2006
Springer
15 years 10 months ago
2006
Springer
We study the design of structured Tanner codes with low error-rate floors on the AWGN channel. The design technique involves the "doping" of standard LDPC (proto-)graphs,...