Sciweavers

2686 search results - page 47 / 538
» Testing metric properties
Sort
View
NIME
2005
Springer
119views Music» more  NIME 2005»
14 years 3 months ago
REMUPP - An Interactive Tool for Investigating Musical Properties and Relations
A typical experiment design within the field of music psychology is playing music to a test subject who listens and reacts – most often by verbal means. One limitation of this k...
Johnny Wingstedt, Mats Liljedahl, Stefan Lindberg,...
LATA
2010
Springer
14 years 7 months ago
Untestable Properties Expressible with Four First-Order Quantifiers
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
Charles Jordan and Thomas Zeugmann
FLAIRS
2009
13 years 7 months ago
Mapping Grounded Object Properties across Perceptually Heterogeneous Embodiments
As robots become more common, it becomes increasingly useful for them to communicate and effectively share knowledge that they have learned through their individual experiences. L...
Zsolt Kira
IJSEKE
2011
165views more  IJSEKE 2011»
13 years 1 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
JOT
2007
112views more  JOT 2007»
13 years 9 months ago
Investigating effect of Design Metrics on Fault Proneness in Object-Oriented Systems
Demand for quality software has undergone with rapid growth during the last few years. This is leading to an increase in the development of metrics for measuring the properties of...
K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchi...