Sciweavers

HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
14 years 6 months ago
The Economic Production Quantity Problem with a Finite Production Rate and Fuzzy Cycle Time
Managing the inventories along with carrying out the production program is essential for many companies in the producing industry. In this paper, a fuzzy EPQ (Economic Production ...
Kaj-Mikael Björk
CADE
2005
Springer
14 years 11 months ago
The OWL Instance Store: System Description
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
Sean Bechhofer, Ian Horrocks, Daniele Turi
DAC
1999
ACM
15 years 14 days ago
Verification of a Microprocessor Using Real World Applications
You-Sung Chang, Seungjong Lee, In-Cheol Park, Chon...