Sciweavers

77016 search results - page 361 / 15404
» Modeling
Sort
View
149
Voted
BC
2004
98views more  BC 2004»
15 years 4 months ago
A stochastic model for the detection of coherent motion
A computational model is presented for the detection of coherent motion based on template matching and hidden Markov models. The premise of this approach is that the growth in dete...
Jason Lee, Willy Wong
NPL
2000
138views more  NPL 2000»
15 years 4 months ago
Neural Net Based Hybrid Modeling of the Methanol Synthesis Process
A Hybrid modeling approach, combining an analytical model with a radial basis function neural network is introduced in this paper. The modeling procedure is combined with genetic a...
Primoz Potocnik, Igor Grabec, Marko Setinc, Janez ...
118
Voted
ACL
2010
15 years 3 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
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 2 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
112
Voted
ENTCS
2010
125views more  ENTCS 2010»
15 years 2 months ago
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
Pascal Sotin, Bertrand Jeannet, Xavier Rival
« Prev « First page 361 / 15404 Last » Next »