Sciweavers

1469 search results - page 119 / 294
» Map operations and k-orbit maps
Sort
View
CPAIOR
2006
Springer
14 years 2 months ago
The Range Constraint: Algorithms and Implementation
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
Christian Bessière, Emmanuel Hebrard, Brahi...
ER
2000
Springer
134views Database» more  ER 2000»
14 years 1 months ago
Data Warehouse Scenarios for Model Management
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
Philip A. Bernstein, Erhard Rahm
MPC
1995
Springer
150views Mathematics» more  MPC 1995»
14 years 1 months ago
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
Klaus Achatz, Wolfram Schulte
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
14 years 9 days ago
Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions
Abstract-- In this paper, we introduce the class of semiseparable kernel functions for use in constructing Lyapunov functions for distributed-parameter systems such as delaydiffere...
Matthew M. Peet, Antonis Papachristodoulou
CISC
2005
Springer
107views Cryptology» more  CISC 2005»
14 years 8 days ago
A Remark on Implementing the Weil Pairing
We propose an improved implementation of modified Weil pairings. By reduction of operations in the extension field to those in the base field, we can save some operations in the...
Cheol-Min Park, Myung-Hwan Kim, Moti Yung