13866 search results - page 388 / 2774 » Dynamical Systems Game |
189
click to vote
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
207
click to vote
IBERAMIA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The success of a case-based reasoning system depends critically on the relevance of the case base. Much current CBR research focuses on how to compact and refine the con...
187
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
Wedescribea novel approachfor clustering collectionsof sets,andits applicationto theanalysis and mining of categoricaldata. By "categorical data," we meantableswith fiel...
154
click to vote
IJCAI
2007
15 years 8 months ago
2007
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
159
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
In-place and merge-based index maintenance are the two main competing strategies for on-line index construction in dynamic information retrieval systems based on inverted lists. Mo...