343 search results - page 27 / 69 » On Making Directed Graphs Transitive |
108
Voted
JANCL
2002
15 years 1 months ago
2002
We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a H...
84
Voted
WWW
2007
ACM
16 years 2 months ago
2007
ACM
PageRank is the best known technique for link-based importance ranking. The computed importance scores, however, are not directly comparable across different snapshots of an evolv...
80
Voted
DASFAA
2007
IEEE
15 years 8 months ago
2007
IEEE
Nowadays many data mining/analysis applications use the graph analysis techniques for decision making. Many of these techniques are based on the importance of relationships among t...
129
click to vote
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
The multi domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are require...
132
Voted
IANDC
2011
14 years 8 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...