5105 search results - page 63 / 1021 » An algorithm to determine peer-reviewers |
120
click to vote
SOFSEM
2012
Springer
13 years 8 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
118
Voted
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
—In this paper, we tackle the spectrum allocation problem in cognitive radio (CR) networks with time-frequency flexibility consideration using combinatorial auction. Different f...
83
Voted
CORR
2008
Springer
15 years 16 days ago
2008
Springer
We describe an algorithm to decompose rational functions from which we determine the poset of groups fixing these functions.
CAV
1998
Springer
15 years 4 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
90
Voted
EKAW
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The central problems w.r.t. interoperability and data integration issues in the Semantic Web are schema and ontology matching approaches. Today it takes an expert to dete...