Sciweavers

6196 search results - page 418 / 1240
» Live-Representation Process Management
Sort
View
ICCAD
1994
IEEE
111views Hardware» more  ICCAD 1994»
15 years 11 months ago
On modeling top-down VLSI design
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
Bernd Schürmann, Joachim Altmeyer, Martin Sch...
CAISE
2007
Springer
15 years 11 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
ESCIENCE
2007
IEEE
15 years 10 months ago
Taverna Workflows: Syntax and Semantics
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
Daniele Turi, Paolo Missier, Carole A. Goble, Davi...
SIGIR
2010
ACM
15 years 10 months ago
Hierarchical pitman-yor language model for information retrieval
In this paper, we propose a new application of Bayesian language model based on Pitman-Yor process for information retrieval. This model is a generalization of the Dirichlet distr...
Saeedeh Momtazi, Dietrich Klakow
SIGIR
2010
ACM
15 years 10 months ago
Blog snippets: a comments-biased approach
In the last years Blog Search has been a new exciting task in Information Retrieval. The presence of user generated information with valuable opinions makes this field of huge in...
Javier Parapar, Jorge López-Castro, Alvaro ...