4378 search results - page 574 / 876 » On the Complexity of Ordered Colourings |
202
click to vote
RTA
2005
Springer
16 years 6 days ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
168
click to vote
SAMOS
2005
Springer
16 years 6 days ago
2005
Springer
The design of appropriate communication architectures for complex Systems-on-Chip (SoC) is a challenging task. One promising alternative to solve these problems are Networks-on-Chi...
186
click to vote
SCALESPACE
2005
Springer
16 years 6 days ago
2005
Springer
Variational methods are very popular for optic flow computation: They yield dense flow fields and perform well if they are adapted such that they respect discontinuities in the ...
169
click to vote
SEMWEB
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Ontology alignment is a prerequisite in order to allow for interoperation between different ontologies and many alignment strategies have been proposed to facilitate the ...
181
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
A major challenge in frequent-pattern mining is the sheer size of its mining results. In many cases, a high min sup threshold may discover only commonsense patterns but a low one ...