1918 search results - page 57 / 384 » Discovering Cortical Algorithms |
CAV
2012
Springer
13 years 7 days ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
SAS
2004
Springer
15 years 3 months ago
2004
Springer
We describe a polynomial-time algorithm for global value numbering, which is the problem of discovering equivalences among program sub-expressions. We treat all conditionals as non...
101
click to vote
CONTEXT
2003
Springer
15 years 3 months ago
2003
Springer
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
139
click to vote
SGAI
2010
Springer
14 years 7 months ago
2010
Springer
A novel framework for mining temporal association rules by discovering itemsets with a genetic algorithm is introduced. Metaheuristics have been applied to association rule mining,...
AE
2005
Springer
15 years 3 months ago
2005
Springer
This work proposes a new rule pruning procedure for Ant-Miner, an Ant Colony algorithm that discovers classification rules in the context of data mining. The performance of Ant-Min...