131 search results - page 5 / 27 » Leftist Canonical Ordering |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
KRMED
2004
13 years 11 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
ICTAC
2004
Springer
14 years 3 months ago
2004
Springer
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...
EUSFLAT
2003
13 years 11 months ago
2003
Images of fuzzy relations provide powerful access to fuzzifications of properties of and/or relationships between fuzzy sets. As an important example, images of fuzzy orderings c...
TCAD
2010
13 years 4 months ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...