851 search results - page 93 / 171 » Inaccessibility in Decision Procedures |
RE
2002
Springer
13 years 8 months ago
2002
Springer
The relationship between project selection and requirements analysis is important, yet has not received much attention. The decisions made during project selection directly affect...
PAMI
2007
13 years 8 months ago
2007
We consider the problem of detecting a large number of different classes of objects in cluttered scenes. Traditional approaches require applying a battery of different classifier...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Optimum implementation of non-conventional wells allows us to increase considerably hydrocarbon recovery. By considering the high drilling cost and the potential improvement in we...
SEMWEB
2010
Springer
13 years 6 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
CONSTRAINTS
2010
13 years 6 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...