2599 search results - page 192 / 520 » An Operational Semantics for Knowledge Bases |
156
click to vote
SIGIR
1993
ACM
15 years 10 months ago
1993
ACM
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...
179
click to vote
EDOC
2005
IEEE
16 years 14 hour ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
202
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
202
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
177
click to vote
TCGOV
2005
Springer
15 years 12 months ago
2005
Springer
As software processes for developing eGovernment services become more complex, it is necessary to provide computer-based tools to support the software engineering process. Furtherm...