Sciweavers

477 search results - page 74 / 96
» Collaborative Recommending using Formal Concept Analysis
Sort
View
SYNTHESE
2010
87views more  SYNTHESE 2010»
14 years 8 months ago
Proofs, pictures, and Euclid
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
John Mumma
FM
2005
Springer
88views Formal Methods» more  FM 2005»
15 years 3 months ago
Timing Tolerances in Safety-Critical Software
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
Alan Wassyng, Mark Lawford, Xiayong Hu
KES
2006
Springer
14 years 9 months ago
M-OntoMat-Annotizer: Image Annotation Linking Ontologies and Multimedia Low-Level Features
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
Kosmas Petridis, Dionysios Anastasopoulos, Carsten...
71
Voted
WIKIS
2005
ACM
15 years 3 months ago
Wiki communities in the context of work processes
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...
Frank Fuchs-Kittowski, André Köhler
99
Voted
CMOT
2000
128views more  CMOT 2000»
14 years 9 months ago
Ontologies to Support Process Integration in Enterprise Engineering
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
Michael Grüninger, Katy Atefi, Mark S. Fox