8031 search results - page 144 / 1607 » Knowledge and Workflow Systems |
MEDINFO
2007
14 years 11 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper investigates the factors affecting the Loyal Use of a Knowledge Management System (KMS). Unlike most other types of information systems, the value from using a KMS is t...
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
AAAI
2004
14 years 11 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
IMSA
2001
14 years 11 months ago
2001
This paper deals with the coupling of AROM, an objectbased knowledge representation with V-STORM, a multimedia presentation system. We propose an AROM knowledge base which constit...