3443 search results - page 19 / 689 » More Algebras for Determiners |
TSD
2001
Springer
14 years 11 days ago
2001
Springer
In order to improve patients’ life conditions and to reduce the costs of long hospitalization, the medicine is more and more interested in the telemonitoring techniques. These wi...
DAGSTUHL
2006
13 years 9 months ago
2006
Cryptographic Boolean functions must be complex to satisfy Shannon's principle of confusion. But the cryptographic viewpoint on complexity is not the same as in circuit compl...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
APN
1995
Springer
13 years 11 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— A new technique that makes use of a systolic array structure is proposed for solving the common approximate substring (CAS) problem. This approach extends the technique introdu...