Sciweavers

2670 search results - page 454 / 534
» Modeling systems with internal state using evolino
Sort
View
ASM
2008
ASM
14 years 12 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...
ICDM
2008
IEEE
113views Data Mining» more  ICDM 2008»
15 years 4 months ago
Online Reliability Estimates for Individual Predictions in Data Streams
Several predictive systems are nowadays vital for operations and decision support. The quality of these systems is most of the time defined by their average accuracy which has lo...
Pedro Pereira Rodrigues, João Gama, Zoran B...
SIAMAM
2000
100views more  SIAMAM 2000»
14 years 9 months ago
Phase Transition Near a Liquid-Gas Coexistence Equilibrium
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...
Xiao-Ping Wang, Xinfu Chen
IUI
2004
ACM
15 years 3 months ago
Designing example-critiquing interaction
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
Boi Faltings, Pearl Pu, Marc Torrens, Paolo Viappi...
MSOM
2007
105views more  MSOM 2007»
14 years 9 months ago
Managing a Bank's Currency Inventory Under New Federal Reserve Guidelines
New currency recirculation guidelines implemented by the Federal Reserve System (Fed) of the United States are intended to reduce the overuse of its currency processing services b...
H. Neil Geismar, Milind Dawande, Divakar Rajamani,...