9532 search results - page 167 / 1907 » Logic, Graphs, and Algorithms |
123
click to vote
AIPS
2000
15 years 5 months ago
2000
Themostefficient planning algorithms recently developed are mainly based on Graphplansystem or on satisfiability approach. In this paper wepresent a new approach to plan generatio...
122
click to vote
WSC
2007
15 years 6 months ago
2007
The HLA time management is an important factor that limits the scalability of distributed simulations. An efficient algorithm of Greatest Available Logical Time (GALT) is thus muc...
129
click to vote
ENTCS
2008
15 years 4 months ago
2008
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...
149
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
In this paper, one presents a fuzzy color clustering algorithm that is based on a new measure of similarity. This new measure of color similarity is defined on a perceptual color s...
116
click to vote
CAIP
2009
Springer
15 years 11 months ago
2009
Springer
Measures of central tendency for graphs are important for protoype construction, frequent substructure mining, and multiple alignment of protein structures. This contribution propo...