Sciweavers

4810 search results - page 212 / 962
» Modeling Value Speculation
Sort
View
AAAI
1996
15 years 7 months ago
Incorporating Opponent Models into Adversary Search
This work presents a generalized theoretical framework that allows incorporation of opponent models into adversary search. We present the M algorithm, a generalization of minimax ...
David Carmel, Shaul Markovitch
DKE
2008
135views more  DKE 2008»
15 years 6 months ago
Analyzing interacting WS-BPEL processes using flexible model generation
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
ENTCS
2006
112views more  ENTCS 2006»
15 years 6 months ago
Model Checking Linear Programs with Arrays
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
Alessandro Armando, Massimo Benerecetti, Jacopo Ma...
INFORMATICALT
2002
62views more  INFORMATICALT 2002»
15 years 6 months ago
Reliability of One Dimensional Model of Moisture Diffusion in Wood ^*
Abstract. A model of the moisture diffusion in wood under isothermal conditions taking into consideration coating of the surface of a specimen is presented in a 2-D-in-space formul...
Romas Baronas, Feliksas Ivanauskas, Mifodijus Sapa...
SAMT
2009
Springer
176views Multimedia» more  SAMT 2009»
16 years 1 months ago
Shape-Based Autotagging of 3D Models for Retrieval
This paper describes an automatic annotation, or autotagging, algorithm that attaches textual tags to 3D models based on their shape and semantic classes. The proposed method emplo...
Ryutarou Ohbuchi, Shun Kawamura