Sciweavers

7554 search results - page 142 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
CAV
2008
Springer
130views Hardware» more  CAV 2008»
15 years 6 months ago
A Hybrid Type System for Lock-Freedom of Mobile Processes
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
Naoki Kobayashi, Davide Sangiorgi
NAACL
2007
15 years 6 months ago
Semantic Frames in Romanian Natural Language Processing Systems
Interests to realize semantic frames databases as a stable starting point in developing semantic knowledge based systems exists in countries such as Germany (the Salsa project), E...
Diana Trandabat
WSC
1998
15 years 6 months ago
Validation and Verification of the Simulation Model of a Photolithography Process in Semiconductor Manufacturing
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
Nirupama Nayani, Mansooreh Mollaghasemi
IGARSS
2009
15 years 2 months ago
Estimation and Segmentation in Non-Gaussian POLSAR Clutter by SIRV Stochastic Processes
In the context of non-Gaussian polarimetric clutter models, this paper presents an application of the recent advances in the field of Spherically Invariant Random Vectors (SIRV) m...
Gabriel Vasile, Jean Philippe Ovarlez, Fréd...
JSAI
2005
Springer
15 years 10 months ago
Opinion Mining as Extraction of Attribute-Value Relations
This paper addresses the task of extracting opinions from a given document collection. Assuming that an opinion can be represented as a tuple Subject, Attribute, Value , we propose...
Nozomi Kobayashi, Ryu Iida, Kentaro Inui, Yuji Mat...