Sciweavers

316 search results - page 27 / 64
» The Catchment Feature Model for Multimodal Language Analysis
Sort
View
CIKM
2009
Springer
15 years 6 months ago
A query model based on normalized log-likelihood
Leveraging information from relevance assessments has been proposed as an effective means for improving retrieval. We introduce a novel language modeling method which uses inform...
Edgar Meij, Wouter Weerkamp, Maarten de Rijke
BPM
2006
Springer
105views Business» more  BPM 2006»
15 years 3 months ago
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur ...
VAMOS
2007
Springer
15 years 5 months ago
Adding Aspects to xADL 2.0 for Software Product Line Architectures
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
Lidia Fuentes, Nadia Gámez
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 3 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
IFIP13
2004
15 years 1 months ago
Toward A Human-Centered UML For Risk Analysis
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
Jérémie Guiochet, Gilles Motet, Clau...