1730 search results - page 222 / 346 » Algebra and Computation |
122
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
143
click to vote
SIBGRAPI
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
147
click to vote
FCT
1999
Springer
15 years 8 months ago
1999
Springer
Kleene’s theorem on recognizable languages in free monoids is considered to be of eminent importance in theoretical computer science. It has been generalized into various directi...
201
click to vote
RAID
1999
Springer
15 years 8 months ago
1999
Springer
Lately, many approaches have been developed to discover computer abuse. Some of them use data mining techniques to discover anomalous behavior in audit trail, considering this beh...
126
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a novel scheme for the solution of linear differential equation systems on parallel computers. The Implicit Pipeline (ImP) method uses an implicit timeintegration schem...