10790 search results - page 378 / 2158 » Using feature models to automate model transformations |
183
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...
171
click to vote
CP
2004
Springer
16 years 8 days ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
171
Voted
EMSOFT
2006
Springer
15 years 10 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...
204
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We consider the problem of allocating networked resources in dynamic environment, such as cloud computing platforms, where providers strategically price resources to maximize thei...
217
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
Background subtraction is a widely used paradigm to detect moving objects in video taken from a static camera and is used for various important applications such as video surveill...