Sciweavers

8154 search results - page 358 / 1631
» Understanding changes in use cases: A case study
Sort
View
CSB
2005
IEEE
137views Bioinformatics» more  CSB 2005»
16 years 11 days ago
A Learned Comparative Expression Measure for Affymetrix GeneChip DNA Microarrays
Perhaps the most common question that a microarray study can ask is, “Between two given biological conditions, which genes exhibit changed expression levels?” Existing methods...
Will Sheffler, Eli Upfal, John Sedivy, William Sta...
CADE
2002
Springer
16 years 7 months ago
The Reflection Theorem: A Study in Meta-theoretic Reasoning
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...
Lawrence C. Paulson
ISER
2004
Springer
125views Robotics» more  ISER 2004»
16 years 3 days ago
An Experimental Study of the Limitations of Mobile Haptic Interfaces
This paper presents various procedures that can be used in order to numerically evaluate what the maximum Z−width that can be rendered by a mobile haptic interface will be given ...
Federico Barbagli, Alessandro Formaglio, M. Franzi...
JOCN
2010
96views more  JOCN 2010»
15 years 1 months ago
Encoding in the Visual Word Form Area: An fMRI Adaptation Study of Words versus Handwriting
Written texts are not just words but complex multidimensional stimuli, including aspects such as case, font, and handwriting style, for example. Neuropsychological reports suggest...
Jason J. S. Barton, Christopher J. Fox, Alla Sekun...
191
Voted
ICSM
2009
IEEE
16 years 1 months ago
Augmenting static source views in IDEs with dynamic metrics
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
David Röthlisberger, Marcel Harry, Alex Villa...