5924 search results - page 1 / 1185 » Normal Process Representatives |
LICS
1990
IEEE
13 years 9 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
ISDA
2006
IEEE
13 years 11 months ago
2006
IEEE
- Elliptic curve cryptography plays a crucial role in networking and information security area, and modular multiplication arithmetic over finite field is a necessary computation p...
BILDMED
2009
13 years 2 months ago
2009
Abstract. An extension of the normalized mutual information similarity measurement was proposed to register cardiac PET/CT and SPECT images representing coronary artery disease in ...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
The blind identification of single-input multiple-output (SIMO) systems suffers in the presence of near-common and exact common zeros between the channels, particularly in conjun...
BMCBI
2011
12 years 12 months ago
2011
Background: Tumor cells are considered to have an aberrant cell state, and some evidence indicates different development states appearing in the tumorigenesis. Embryonic developme...