Sciweavers

1397 search results - page 26 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
APN
2006
Springer
14 years 13 days ago
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
Thomas Chatain, Claude Jard
EMNLP
2010
13 years 6 months ago
A Semi-Supervised Method to Learn and Construct Taxonomies Using the Web
Although many algorithms have been developed to harvest lexical resources, few organize the mined terms into taxonomies. We propose (1) a semi-supervised algorithm that uses a roo...
Zornitsa Kozareva, Eduard H. Hovy
APN
2007
Springer
14 years 2 months ago
ProM 4.0: Comprehensive Support for Real Process Analysis
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
Wil M. P. van der Aalst, Boudewijn F. van Dongen, ...
IQ
2000
13 years 10 months ago
IP-MAP: Representing the Manufacture of an Information Product
Organizations have recognized the need for high quality information and academics have proposed several methods to measure and improve information quality. One such method is to m...
Ganesan Shankaranarayanan, Richard Y. Wang, Mostap...
HICSS
2012
IEEE
323views Biometrics» more  HICSS 2012»
12 years 4 months ago
The Manufacture of Potable Water: Case Analyses of Electric System Alternatives
Potable water within significant areas of the nations of the Arabian Gulf region is most frequently manufactured (cogenerated) along with electricity. The most economic process ha...
Richard D. Tabors, Siddarth Nagendraprasad, Ayoob ...