Sciweavers

6368 search results - page 139 / 1274
» Modeling Problem Transformations based on Data Complexity
Sort
View
ERSHOV
2006
Springer
15 years 9 months ago
A Formal Model of Data Privacy
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
Phiniki Stouppa, Thomas Studer
IJAR
2008
93views more  IJAR 2008»
15 years 6 months ago
Prototype based fuzzy classification in clinical proteomics
Proteomic profiling based on mass spectrometry is an important tool for studies at the protein and peptide level in medicine and health care. Thereby, the identification of releva...
Frank-Michael Schleif, Thomas Villmann, Barbara Ha...
KBSE
1995
IEEE
15 years 9 months ago
A Transformation System for Interactive Reformulation of Design Optimization Strategies
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...
Thomas Ellman, John Keane, Takahiro Murata, Mark S...
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
15 years 6 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang
ECCV
2008
Springer
16 years 8 months ago
Higher Dimensional Affine Registration and Vision Applications
Abstract. Affine registration has a long and venerable history in computer vision literature, and extensive work have been done for affine registrations in IR2 and IR3 . In this pa...
Yu-Tseh Chi, S. M. Nejhum Shahed, Jeffrey Ho, Ming...