1722 search results - page 151 / 345 » Generating Tests from Counterexamples |
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
This study extends the concept of weak and strong ties to the relationship between an individual and a project, in the context of a formal review process. Using data collected fro...
APSEC
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
COMPSYSTECH
2009
13 years 8 months ago
2009
: Facial expressions play an important role in human nonverbal communication. They can be generated by activation and dilatation of facial muscles. In this paper we describe a syst...
ALT
2005
Springer
14 years 7 months ago
2005
Springer
This paper deals with an unusual phenomenon where most machine learning algorithms yield good performance on the training set but systematically worse than random performance on th...
SI3D
2005
ACM
14 years 4 months ago
2005
ACM
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...