Sciweavers

4592 search results - page 334 / 919
» Framework for Studying Substitution
Sort
View
MANSCI
2006
121views more  MANSCI 2006»
15 years 7 months ago
Methodologies and Algorithms for Group-Rankings Decision
The problem of group ranking, a.k.a. rank aggregation, has been studied in contexts varying from sports, to multi-criteria decision making, to machine learning, to ranking web pag...
Dorit S. Hochbaum, Asaf Levin
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
15 years 7 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
233
Voted
ISI
2007
Springer
15 years 7 months ago
Privacy Preserving Collaborative Data Mining
Privacy-preserving data mining is an important issue in the areas of data mining and security. In this paper, we study how to conduct association rule mining, one of the core data...
Justin Z. Zhan
TOG
2008
136views more  TOG 2008»
15 years 7 months ago
Curved folding
Fascinating and elegant shapes may be folded from a single planar sheet of material without stretching, tearing or cutting, if one incorporates curved folds into the design. We pr...
Martin Kilian, Simon Flöry, Zhonggui Chen, Ni...
JSW
2007
120views more  JSW 2007»
15 years 7 months ago
Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Thomas Triebsees