1929 search results - page 52 / 386 » A Problem Space Approach to Expert System Specification |
135
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
166
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
138
click to vote
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
The AutoFeed system automatically extracts data from semistructured web sites. Previously, researchers have developed two types of supervised learning approaches for extracting we...
104
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
140
Voted
AAAI
2007
15 years 5 months ago
2007
The multiple fault diagnosis problem is important, since the single fault assumption can lead to incorrect or failed diagnoses when multiple faults occur. It is challenging for co...