334 search results - page 5 / 67 » Standardization in action |
CEEMAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
KI
2005
Springer
15 years 3 months ago
2005
Springer
We discuss the application of Model-Based Diagnosis in (agent-based) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It is assum...
DKE
2006
14 years 9 months ago
2006
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
ACII
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. This paper proposes a case-based automatic facial AU recognition approach using IGA, which embeds human’s ability to compare into target system. To obtain AU codes of a...
MEMOCODE
2005
IEEE
15 years 3 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...