Sciweavers

4961 search results - page 283 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
PAIRING
2007
Springer
140views Cryptology» more  PAIRING 2007»
15 years 10 months ago
The Tate Pairing Via Elliptic Nets
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...
Katherine E. Stange
ICSM
2006
IEEE
15 years 10 months ago
Working Session: Information Retrieval Based Approaches in Software Evolution
During software evolution a collection of related artifacts with different representations are created. Some of these are composed of structured data (e.g., analysis data), some c...
Andrian Marcus, Andrea De Lucia, Jane Huffman Haye...
LICS
2006
IEEE
15 years 10 months ago
A Characterisation of First-Order Constraint Satisfaction Problems
Abstract. We describe simple algebraic and combinatorial characterisations of finite relational core structures admitting finitely many obstructions. As a consequence, we show th...
Benoit Larose, Cynthia Loten, Claude Tardif
ICALT
2005
IEEE
15 years 9 months ago
Authoring Educational Topic Maps: Can We Make It Easier?
In this paper we examine some problems related to capturing the structure and the topic name space of learning content in the context of Topic Map authoring. We demonstrate that t...
Darina Dicheva, Christo Dichev
AI
2005
Springer
15 years 9 months ago
Generating Adaptive Multimedia Presentations Based on a Semiotic Framework
Abstract. We propose a framework for generating adaptive multimedia presentations through the dynamic selection of files from a large data repository. The presentation is generate...
Osama El Demerdash, Sabine Bergler, Leila Kosseim,...