Sciweavers

77016 search results - page 354 / 15404
» Modeling Modeling
Sort
View
CAISE
2006
Springer
15 years 8 months ago
An attempt to combine UML and formal methods to model airport security
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
Yves Ledru, Régine Laleau, Michel Lemoine, ...
ETFA
2008
IEEE
16 years 1 months ago
Automatic generation of bond graph models of process plants
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
Sebastian Beez, Alexander Fay, Nina F. Thornhill
ACL
2010
15 years 4 months ago
Decision Detection Using Hierarchical Graphical Models
We investigate hierarchical graphical models (HGMs) for automatically detecting decisions in multi-party discussions. Several types of dialogue act (DA) are distinguished on the b...
Trung H. Bui, Stanley Peters
SIGIR
2008
ACM
15 years 6 months ago
Parsimonious relevance models
We describe a method for applying parsimonious language models to re-estimate the term probabilities assigned by relevance models. We apply our method to six topic sets from test ...
Edgar Meij, Wouter Weerkamp, Krisztian Balog, Maar...
GCC
2003
Springer
15 years 12 months ago
Temporal Problems in Service-Based Workflows
Time constraint is a key problem in workflow management. Now, with the emergence of new technologies such as web service, grid, this problem has become more complicated in service-...
Zhen Yu, Zhaohui Wu, ShuiGuang Deng, Qi Gao
« Prev « First page 354 / 15404 Last » Next »