Sciweavers

4810 search results - page 56 / 962
» Modeling Value Speculation
Sort
View
CHI
2006
ACM
15 years 10 months ago
Using intelligent task routing and contribution review to help communities build artifacts of lasting value
Many online communities are emerging that, like Wikipedia, bring people together to build community-maintained artifacts of lasting value (CALVs). Motivating people to contribute ...
Dan Cosley, Dan Frankowski, Loren G. Terveen, John...
ATVA
2007
Springer
150views Hardware» more  ATVA 2007»
15 years 1 months ago
3-Valued Circuit SAT for STE with Automatic Refinement
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
Orna Grumberg, Assaf Schuster, Avi Yadgar
JCB
2008
106views more  JCB 2008»
14 years 10 months ago
Statistics of Random Protein Superpositions: p-Values for Pairwise Structure Alignment
Quantification of statistical significance is essential for the interpretation of protein structural similarity. To address this, a random model for protein structure comparison w...
James O. Wrabl, Nick V. Grishin
CAISE
2006
Springer
15 years 1 months ago
On the Notion of Value Object
It is increasingly recognized that business models offer an abstraction that is useful not only in the exploration of new business networks but also for the design and redesign of ...
Hans Weigand, Paul Johannesson, Birger Andersson, ...
VISUALIZATION
2005
IEEE
15 years 3 months ago
The Value of Visualization
The field of Visualization is getting mature. Many problems have been solved, and new directions are sought for. In order to make good choices, an understanding of the purpose an...
Jarke J. van Wijk