10493 search results - page 491 / 2099 » Dynamic Word Problems |
192
click to vote
TACAS
2005
Springer
16 years 10 days 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...
171
Voted
ECML
2004
Springer
16 years 8 days ago
2004
Springer
Given the pattern-based multi-predictors of the stock price, we study a method of dynamic asset allocation to maximize the trading performance. To optimize the proportion of asset ...
171
click to vote
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
People can interact much more readily with a multi-agent system if they can understand it in cognitive terms. Modern work on “BDI agents” emphasizes explicit representation of ...
183
click to vote
GECCO
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper investigates the sample weighting effect on Genetic Parallel Programming (GPP) that evolves parallel programs to solve the training samples captured directly f...
188
Voted
ASUNAM
2009
IEEE
15 years 12 months ago
2009
IEEE
Community detection in social networks varying with time is a common yet challenging problem whereby efficient visualization of evolving relationships and implicit hierarchical s...