Sciweavers

1397 search results - page 26 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
92
Voted
APN
2006
Springer
15 years 1 months 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
77
Voted
EMNLP
2010
14 years 8 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
102
Voted
APN
2007
Springer
15 years 4 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, ...
99
Voted
IQ
2000
14 years 11 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»
13 years 5 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 ...