2853 search results - page 346 / 571 » On Coherence in Computer Algebra |
126
click to vote
ACMSE
2005
ACM
15 years 9 months ago
2005
ACM
A key issue in the study of protein signaling networks is understanding the relationships among proteins in the network. Understanding these relationships in the context of a netw...
146
click to vote
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
We consider coverage problems in sensor networks of stationary nodes with minimal geometric data. In particular, there are no coordinates and no localization of nodes. We introduc...
118
click to vote
CSL
2001
Springer
15 years 8 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 ...
146
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...