SIGPRO
2002
13 years 7 months ago
2002
Dynamic image analysis requires the estimation of time-varying model parameters (e.g., shape coe cients). This can be11 seen as states of a dynamic model which are restricted to a...
SIGPRO
2002
13 years 7 months ago
2002
A nonlinear autoregressive model, the process feedback nonlinear autoregressive (PFNAR) model, in which the autoregressive coe cients are a function of the combination of past dat...
TODAES
1998
13 years 7 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
SIGIR
2002
ACM
13 years 7 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
Designing a two-person game involves identifying the game model to compute the best moves, the user interface (the "view") to play the game, and the controller to coordi...
TC
1998
13 years 7 months ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
SAC
2002
ACM
13 years 7 months ago
2002
ACM
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...
RE
2002
Springer
13 years 7 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
RAS
1998
13 years 7 months ago
1998
We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent for anoth...
PAMI
2002
13 years 7 months ago
2002
The performance of any word recognizer depends on the lexicon presented. Usually large lexicons or lexicons containing similar entries pose greater difficulty for recognizers. How...