2599 search results - page 337 / 520 » An Operational Semantics for Knowledge Bases |
197
click to vote
LOGCOM
2002
15 years 6 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
193
click to vote
ICDCS
2007
IEEE
16 years 25 days ago
2007
IEEE
State-of-the-art networked storage servers are equipped with increasingly powerful computing capability and large DRAM memory as storage caches. However, their contribution to the...
153
click to vote
ICMCS
2006
IEEE
16 years 16 days ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
169
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
146
click to vote
DEXAW
1997
IEEE
15 years 10 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...