Sciweavers

3218 search results - page 438 / 644
» Tracking Climate Models
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 7 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
IJMTM
2010
137views more  IJMTM 2010»
15 years 1 months ago
Entry-level engineering professionals and Product Lifecycle Management: a competency model
: In today's rapidly evolving global marketplace, jobs are continually being redefined due to technological innovations and a host of other factors. Workers are also being cal...
Sharron A. Frillman, Kari L. Wilde, Jonathan F. Ko...
OOPSLA
2007
Springer
15 years 10 months ago
Transactions with isolation and cooperation
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, ...
ICCS
2005
Springer
15 years 9 months ago
Adaptive Smoothing Neural Networks in Foreign Exchange Rate Forecasting
This study proposes a novel forecasting approach – an adaptive smoothing neural network (ASNN) – to predict foreign exchange rates. In this new model, adaptive smoothing techni...
Lean Yu, Shouyang Wang, Kin Keung Lai
PODC
1998
ACM
15 years 8 months ago
Persistent Messages in Local Transactions
: We present a new model for handling messages and state in a distributed application that we call Messages in Local Transactions (MLT). Under this model, messages and data are not...
David E. Lowell, Peter M. Chen