6167 search results - page 100 / 1234 » Can Refinement be Automated |
123
click to vote
AIME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In present clinical practice, information about the heart electrical activity is routinely gathered through ECG’s, which record electrical potential from just nine site...
124
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
136
click to vote
SPLC
2008
15 years 5 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
126
click to vote
AIIDE
2006
15 years 5 months ago
2006
Automated camera control has been an active area of research for a number of years. The problem has been addressed in the Graphics, AI and Game communities from different perspect...
130
click to vote
IADIS
2004
15 years 5 months ago
2004
The Internet has impacted our lives in many different ways. In this paper we present an Internet-based automated virtual reality (VR) generator for pain relief of hospitalized bur...