806 search results - page 93 / 162 » Algebraic Structures of B-series |
125
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
124
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
134
click to vote
INEX
2004
Springer
15 years 8 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
104
Voted
ACISP
1999
Springer
15 years 7 months ago
1999
Springer
We use combinatorial methods and permutation groups to classify homogeneous boolean functions. The property of symmetry of a boolean function limits the size of the function’s cl...
134
click to vote
SIBGRAPI
1999
IEEE
15 years 7 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 ...