4140 search results - page 91 / 828 » A Use Case Based Approach to Feature Models' Construction |
135
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
132
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
Navigationalpath planning is a classicalproblem in autonomous mobile robotics. Most AI approachesto path planning use goal-directedheuristicsearch of problem spaces defined by spa...
172
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evaluation in real-life industrial context is s...
134
click to vote
COLING
1990
15 years 5 months ago
1990
Mandarin Chinese is a highly flexible and context-sensitive language. It is difficult to do the case marking and index assignment during the parsing of Chinese sentences. This pap...
159
click to vote
PAMI
1998
15 years 4 months ago
1998
—In this paper, we propose an analytic-to-holistic approach which can identify faces at different perspective variations. The database for the test consists of 40 frontal-view fa...