Sciweavers

2914 search results - page 169 / 583
» Knowledge, management, and knowledge management in business ...
Sort
View
IIE
2008
98views more  IIE 2008»
15 years 6 months ago
Data Mining Application in Higher Learning Institutions
One of the biggest challenges that higher learning institutions face today is to improve the quality of managerial decisions. The managerial decision making process becomes more co...
Naeimeh Delavari, Somnuk Phon-Amnuaisuk, M. Reza B...
MKM
2007
Springer
16 years 20 days ago
Revisions as an Essential Tool to Maintain Mathematical Repositories
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
Adam Grabowski, Christoph Schwarzweller
SIGLEX
1991
15 years 10 months ago
For the Lexicon that Has Everything
This paper argues that itisimpossible to separate lexicaland encyclopedic knowledge and describes an attempt to build a large lexical database that contains the range of informati...
Martha W. Evens, Joanne Dardaine, Yu-Feng Huang, S...
JAR
2007
85views more  JAR 2007»
15 years 6 months ago
User Interaction with the Matita Proof Assistant
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tas...
HICSS
2002
IEEE
179views Biometrics» more  HICSS 2002»
15 years 11 months ago
Combined Modeling with Multi-agent Systems and Simulation: Its Application to Harbor Supply Chain Management
This paper presents a method for modeling the dynamic behavior of harbor supply chains and evaluating strategic and operational policies of the proposed harbor supply chain by app...
Dong Won Yi, Soung Hie Kim, Nak Hyun Kim