Sciweavers

APAL
2005
78views more  APAL 2005»
13 years 10 months ago
The logic of proofs, semantically
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...
Melvin Fitting
ECIS
2001
14 years 8 days ago
SMEs Co-opetition and Knowledge Sharing: The IS Role
Co-opetition, simultaneous co-operation and competition, is a recent phenomenon. Co-opetition entails sharing knowledge that may be a key source of competitive advantage. Yet, the...
Margi Levy, Claudia Löbbecke, Philip Powell
FLAIRS
2004
14 years 8 days ago
Knowledge-Based Constraint Satisfaction for Spatial Reasoning
This linguistically motivated work addresses issues in reasoning intelligently over spatial descriptions of simple, static scenes to produce plausible graphical interpretations. I...
Dan Tappan
CASDMKM
2004
Springer
144views Data Mining» more  CASDMKM 2004»
14 years 4 months ago
Knowledge-Information Circulation Through the Enterprise: Forward to the Roots of Knowledge Management
The field of Knowledge Management (KM) has already completed its initiatory phase, characterized by operational confusion between knowledge and information, stemming from the tenuo...
Milan Zeleny
ER
2007
Springer
108views Database» more  ER 2007»
14 years 5 months ago
A Framework Supporting the Utilization of Domain Knowledge Embedded in Software
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
Eran Rubin, Yair Wand
ICDIM
2008
IEEE
14 years 5 months ago
Managing tacit and explicit knowledge in organisational teams
In this article we analyse how tacit and explicit knowledge are managed in teams. Tacit knowledge is located in human persons and it can not be described formally as data or any o...
Raija Halonen, Elisa Laukkanen
OTM
2009
Springer
14 years 5 months ago
Automatic Detection of Terminology Evolution
As archives contain documents that span over a long period of time, the language used to create these documents and the language used for querying the archive can differ. This di...
Nina Tahmasebi
ICCV
2001
IEEE
15 years 24 days ago
Blind Removal of Image Non-Linearities
This paper presents a technique for blindly removing image non-linearities in the absence of any calibration information or explicit knowledge of the imagingdevice. The basic appr...
Hany Farid, Alin C. Popescu