Sciweavers

1309 search results - page 75 / 262
» Revenue management: Models and methods
Sort
View
FMCO
2008
Springer
143views Formal Methods» more  FMCO 2008»
15 years 24 days ago
An Asynchronous Distributed Component Model and Its Semantics
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
Ludovic Henrio, Florian Kammüller, Marcela Ri...
JCIT
2010
83views more  JCIT 2010»
14 years 6 months ago
Key Technologies of Modeling for Equipment Training Environment
For the purpose of equipment training, realistic training environments need to be built and makes operators having an immersed sense. Aiming at present military requirement for eq...
Gang Chen, Huifang Lv, Jun Yang, Yue Zhang
SIGIR
1999
ACM
15 years 3 months ago
A Hidden Markov Model Information Retrieval System
We present a new method for information retrievalusing hidden Markov models (HMMs). We develop a general framework for incorporating multiple word generation mechanisms within the...
David R. H. Miller, Tim Leek, Richard M. Schwartz
NFM
2011
264views Formal Methods» more  NFM 2011»
14 years 6 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...

Publication
344views
16 years 9 months ago
Many of My Academic Papers, My 4000 Favorite Books List
Already published academic papers: Creativity 60 Models, 64 Capabilities of Highly Educated Persons, 96 Skills of Highly Effective People, 116 Variables Fostering Team High Perform...
Richard Tabor Greene