5510 search results - page 252 / 1102 » Mathematics |
154
Voted
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
183
click to vote
ACIVS
2005
Springer
15 years 11 months ago
2005
Springer
Binary and grayscale mathematical morphology have many applications in different area. On the other hand, colour morphology is not widespread. The reason is the lack of a unique o...
129
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
177
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...
156
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
Symmetric and semisymmetric graphs are used in many scientific domains, especially parallel computation and interconnection networks. The industry and the research world make a h...