Sciweavers

4140 search results - page 377 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
IFIP
2010
Springer
15 years 1 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
CVPR
2011
IEEE
14 years 10 months ago
Activity Recognition using Dynamic Subspace Angles
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...
Octavia Camps, Mario Sznaier, Binlong Li, Teresa M...
ICIP
2003
IEEE
16 years 8 months ago
MRA data segmentation using level sets
In this paper, we use a level set based segmentation algorithm to extract the vascular tree from Magnetic Resonance Angiography, "MRA". Classification model finds an opt...
Hossam S. Hassan, Aly A. Farag
ACII
2007
Springer
16 years 1 months ago
Entertainment Modeling in Physical Play Through Physiology Beyond Heart-Rate
An investigation into capturing the relation of physiology, beyond heart rate recording, to expressed preferences of entertainment in children’s physical gameplay is presented in...
Georgios N. Yannakakis, John Hallam
GECCO
2006
Springer
253views Optimization» more  GECCO 2006»
15 years 10 months ago
A novel approach to optimize clone refactoring activity
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
Salah Bouktif, Giuliano Antoniol, Ettore Merlo, Ma...