1813 search results - page 175 / 363 » Calculi of Approximation Spaces |
218
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
196
click to vote
ACL
2008
15 years 8 months ago
2008
This paper presents a MapReduce algorithm for computing pairwise document similarity in large document collections. MapReduce is an attractive framework because it allows us to de...
180
click to vote
ESANN
2007
15 years 8 months ago
2007
Due to the scale and computational complexity of current simulation codes, metamodels (or surrogate models) have become indispensable tools for exploring and understanding the desi...
146
click to vote
ICMLA
2007
15 years 8 months ago
2007
This paper presents the application of a reinforcement learning (RL) approach for the near-optimal control of a re-entrant line manufacturing (RLM) model. The RL approach utilizes...
157
click to vote
IJCAI
2007
15 years 8 months ago
2007
Recent scaling up of POMDP solvers towards realistic applications is largely due to point-based methods which quickly converge to an approximate solution for medium-sized problems...