Sciweavers

1264 search results - page 142 / 253
» The framework approach for constraint satisfaction
Sort
View
CIKM
2008
Springer
15 years 8 months ago
A consensus based approach to constrained clustering of software requirements
Managing large-scale software projects involves a number of activities such as viewpoint extraction, feature detection, and requirements management, all of which require a human a...
Chuan Duan, Jane Cleland-Huang, Bamshad Mobasher
SAT
2005
Springer
129views Hardware» more  SAT 2005»
15 years 12 months ago
On Finding All Minimally Unsatisfiable Subformulas
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
Mark H. Liffiton, Karem A. Sakallah
IJCV
2008
157views more  IJCV 2008»
15 years 6 months ago
A General Method for Sensor Planning in Multi-Sensor Systems: Extension to Random Occlusion
Systems utilizing multiple sensors are required in many domains. In this paper, we specifically concern ourselves with applications where dynamic objects appear randomly and the s...
Anurag Mittal, Larry S. Davis
ICSE
1995
IEEE-ACM
15 years 10 months ago
Decentralised Process Enactment in a Multi-Perspective Development Environment
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh
ICIP
2010
IEEE
15 years 4 months ago
Towards unifying diffusion and exemplar-based inpainting
A novel framework for image inpainting is proposed, relying on graph-based diffusion processes. Depending on the construction of the graph, both flow-based and exemplar-based inpa...
Emmanuel d'Angelo, Pierre Vandergheynst