5122 search results - page 325 / 1025 » Comparing Consequence Relations |
161
click to vote
ECAL
2007
Springer
16 years 26 days ago
2007
Springer
Symbiosis, the collaboration of multiple organisms from different species, is common in nature. A related phenomenon, symbiogenesis, the creation of new species through the genetic...
176
click to vote
ECML
2007
Springer
16 years 26 days ago
2007
Springer
We discuss how to learn non-recursive directed probabilistic logical models from relational data. This problem has been tackled before by upgrading the structure-search algorithm i...
189
click to vote
ECSA
2007
Springer
16 years 26 days ago
2007
Springer
Empirical software engineering focuses on the evaluation of software engineering technologies, such as processes and tools, by comparing related sets of data. It has contributed a ...
183
click to vote
FORMATS
2007
Springer
16 years 26 days ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
188
click to vote
PAIRING
2007
Springer
16 years 25 days ago
2007
Springer
We derive a new algorithm for computing the Tate pairing on an elliptic curve over a finite field. The algorithm uses a generalisation of elliptic divisibility sequences known as...