12825 search results - page 2177 / 2565 » Improved PLSOM algorithm |
157
click to vote
IJCAI
1989
15 years 7 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
203
click to vote
PSTV
1992
15 years 7 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
193
click to vote
WCE
2007
15 years 7 months ago
2007
Improving testability during the early stages of High-level synthesis has several advantages including reduced test hardware overhead and design iterations. Recently, BIST techniq...
165
Voted
BIOSIG
2009
15 years 7 months ago
2009
: The widespread use of biometrics and its increased popularity introduces privacy risks. In order to mitigate these risks, solutions such as the helper-data system, fuzzy vault, f...
158
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
A classic example of multiagent coordination in a shared environment involves the use of pheromone deposits as a communication mechanism. Due to physical limitations in deploying ...