Sciweavers

1234 search results - page 212 / 247
» An evaluation of conceptual business process modelling langu...
Sort
View
EDBT
2010
ACM
164views Database» more  EDBT 2010»
15 years 3 months ago
Techniques for efficiently querying scientific workflow provenance graphs
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
Manish Kumar Anand, Shawn Bowers, Bertram Ludä...
MONTEREY
2007
Springer
15 years 6 months ago
Logic-Based Regulatory Conformance Checking
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
UML
2001
Springer
15 years 4 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
EMNLP
2009
14 years 9 months ago
The Feature Subspace Method for SMT System Combination
Recently system combination has been shown to be an effective way to improve translation quality over single machine translation systems. In this paper, we present a simple and ef...
Nan Duan, Mu Li, Tong Xiao, Ming Zhou
EMNLP
2010
14 years 9 months ago
Collective Cross-Document Relation Extraction Without Labelled Data
We present a novel approach to relation extraction that integrates information across documents, performs global inference and requires no labelled text. In particular, we tackle ...
Limin Yao, Sebastian Riedel, Andrew McCallum