1929 search results - page 311 / 386 » A Problem Space Approach to Expert System Specification |
FM
2006
Springer
15 years 3 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
EWCBR
2008
Springer
15 years 1 months ago
2008
Springer
How to endow case-based reasoning systems with effective case adaptation capabilities is a classic problem. A significant impediment to developing automated adaptation procedures i...
112
click to vote
IJCV
2007
14 years 11 months ago
2007
In this article we present the integration of 3-D shape knowledge into a variational model for level set based image segmentation and contour based 3-D pose tracking. Given the sur...
AUTOMATICA
2005
14 years 11 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
104
click to vote
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...