208 search results - page 4 / 42 » Consistency Checking for Component Reuse in Open Systems |
FM
2005
Springer
14 years 14 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
AHCI
2010
13 years 2 months ago
2010
This paper presents the SEMAINE API, an open source framework for building emotion-oriented systems. By encouraging and simplifying the use of standard representation formats, the...
ECAI
1992
Springer
13 years 11 months ago
1992
Springer
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...
AMAST
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
ECAI
2004
Springer
14 years 10 days ago
2004
Springer
Open domain question answering (QA) systems have to bridge the potential vocabulary mismatch between a question and its candidate answers. One can view this as a recall problem and...