10615 search results - page 495 / 2123 » Dynamic topic models |
168
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
183
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
164
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
Models of forest ecosystems are needed to understand how climate and land-use change can impact biodiversity. In this paper we describe an individual-based, spatially-explicit for...
192
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...
146
click to vote
ICA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Independent component analysis (ICA) of functional magnetic resonance imaging (fMRI) data is commonly carried out under the assumption that each source may be represented...