911 search results - page 33 / 183 » The Semantics of Event Prevention |
BMCBI
2008
14 years 9 months ago
2008
Background: Advanced Text Mining (TM) such as semantic enrichment of papers, event or relation extraction, and intelligent Question Answering have increasingly attracted attention...
ASM
2008
ASM
14 years 11 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
FOIS
2006
14 years 11 months ago
2006
Abstract. Some events recur, and some happen only once. Galton refers to the latter as "once-only" events [1]. In a first-order logic of events that makes a type-token di...
IJDSST
2010
14 years 7 months ago
2010
Decision support systems get more useful as they manage to make decisions more informed. However, the cost of information and of combining and making it available in the appropriat...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...