2851 search results - page 444 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
161
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
143
click to vote
CEEMAS
2005
Springer
15 years 11 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...
178
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
146
click to vote
NLPRS
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we present CaptionEye/KE, a Korean to English machine translation system that is applied to a practical TV caption translation. And its experimental evaluation is p...
155
click to vote
SAFECOMP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...