Sciweavers

1712 search results - page 137 / 343
» Abstract Constraint Data Types
Sort
View
FDL
2006
IEEE
15 years 9 months ago
MCF: A Metamodeling-based Visual Component Composition Framework
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
Deepak Mathaikutty, Sandeep K. Shukla
IJCAI
1993
15 years 4 months ago
A New Logical framework for Deductive Planning
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
Werner Stephan, Susanne Biundo
ECCV
2006
Springer
16 years 5 months ago
Algebraic Methods for Direct and Feature Based Registration of Diffusion Tensor Images
Abstract. We present an algebraic solution to both direct and featurebased registration of diffusion tensor images under various local deformation models. In the direct case, we sh...
Alvina Goh, René Vidal
AMAI
2007
Springer
15 years 3 months ago
Distance semantics for database repair
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
OL
2011
217views Neural Networks» more  OL 2011»
14 years 9 months ago
Privacy-preserving linear programming
Abstract. We propose a privacy-preserving formulation of a linear program whose constraint matrix is partitioned into groups of columns where each group of columns and its correspo...
O. L. Mangasarian