3239 search results - page 195 / 648 » A Logical Process Calculus |
121
click to vote
ITC
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper discusses practical issues involved in applying logic built-in self-test (BIST) to four large industrial designs. These multi-clock designs, ranging in size from 200K t...
130
Voted
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
117
Voted
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
The task of segmenting cell nuclei in microscope images is a classical image analysis problem. The accurate nuclei segmentation may contribute to development of successful system ...
139
Voted
ICCD
1993
IEEE
15 years 7 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
164
Voted
CONCUR
2011
Springer
14 years 3 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...