Sciweavers

642 search results - page 37 / 129
» Roles Versus Classes
Sort
View
PASTE
2005
ACM
14 years 29 days ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
ISTCS
1995
Springer
13 years 11 months ago
Some Improvements to Total Degree Tests
A low-degree test is a collection of simple, local rules for checking the proximity of an arbitrary function to a lowdegree polynomial. Each rule depends on the function’s value...
Katalin Friedl, Madhu Sudan
LREC
2010
142views Education» more  LREC 2010»
13 years 8 months ago
The Demo / Kemo Corpus: A Principled Approach to the Study of Cross-cultural Differences in the Vocal Expression and Perception
This paper presents the Demo / Kemo corpus of Dutch and Korean emotional speech. The corpus has been specifically developed for the purpose of cross-linguistic comparison, and is ...
Martijn Goudbeek, Mirjam Broersma
MANSCI
2010
104views more  MANSCI 2010»
13 years 5 months ago
Valuing Money and Things: Why a $20 Item Can Be Worth More and Less Than $20
The study of risky decision-making has long used monetary gambles to study choice, but many everyday decisions do not involve the prospect of winning or losing money. Monetary gam...
A. Peter McGraw, Eldar Shafir, Alexander Todorov
HCI
2009
13 years 5 months ago
Predicting Intended Movement Direction Using EEG from Human Posterior Parietal Cortex
The posterior parietal cortex (PPC) plays an important role in motor planning and execution. Here, we investigated whether noninvasive electroencephalographic (EEG) signals recorde...
Yijun Wang, Scott Makeig