6897 search results - page 566 / 1380 » Parallelization of Modular Algorithms |
168
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present the design of Dynabot, a guided Deep Web discovery system. Dynabot's modular architecture supports focused crawling of the Deep Web with an emphasis on matching, p...
161
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
151
click to vote
ATAL
2009
Springer
16 years 27 days ago
2009
Springer
We have developed a general purpose use and modular architecture of an Embodied Conversational Agent (ECA) called Greta. Our 3D agent is able to communicate using verbal and nonve...
180
click to vote
ISNN
2009
Springer
16 years 26 days ago
2009
Springer
In real-world applications, it has been observed that class imbalance (significant differences in class prior probabilities) may produce an important deterioration of the classifie...
156
click to vote
ISSAC
2009
Springer
16 years 26 days ago
2009
Springer
The computation of triangular decompositions involves two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new...