2715 search results - page 300 / 543 » An Implementation of Narrowing Strategies |
170
click to vote
HPCC
2010
Springer
15 years 6 months ago
2010
Springer
The divide-and-conquer pattern of parallelism is a powerful approach to organize parallelism on problems that are expressed naturally in a recursive way. In fact, recent tools such...
181
click to vote
ICANN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Competitive learning approaches with penalization or cooperation mechanism have been applied to unsupervised data clustering due to their attractive ability of automatic ...
208
click to vote
AICCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper addresses the inter-operability problem of multimedia terminal in media content delivery over heterogeneous networks and devices. We design and implement a terminal whi...
172
click to vote
AICOM
2010
15 years 6 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
170
click to vote
AIEDU
2008
15 years 6 months ago
2008
: This paper reports research concerning issues involved in adopting a computational dialectics approach to develop a human-computer dialogue system for educational debate. In part...