1980 search results - page 85 / 396 » On the Associative Nijenhuis Relation |
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
125
click to vote
PAIRING
2007
Springer
15 years 7 months 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...
108
click to vote
RULEML
2007
Springer
15 years 7 months ago
2007
Springer
The focus of this paper is to show that the E-C-A paradigm offers an excellent approach for specifying the behavior of context-aware information push services. Such a service enabl...
115
Voted
RULEML
2007
Springer
15 years 7 months ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
134
Voted
CRV
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an approach to recognizing faces with varying appearances which also considers the relative probability of occurrence for each appearance. We propose and demonstrate ex...