14403 search results - page 322 / 2881 » Dynamical Systems Trees |
183
click to vote
CONCUR
2005
Springer
16 years 4 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...
198
click to vote
IBERAMIA
2004
Springer
15 years 12 months 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...
179
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Wedescribea novel approachfor clustering collectionsof sets,andits applicationto theanalysis and mining of categoricaldata. By "categorical data," we meantableswith fiel...
153
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...
153
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...