630 search results - page 74 / 126 » Symbolic Domain Decomposition |
101
click to vote
LOPSTR
2007
Springer
15 years 6 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Component-based middleware frameworks that support distributed agent societies have proven to be very useful in a variety of domains. Such frameworks must include support for both ...
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
— In this paper, a localization based approach of audio signal separation from binary mixtures is carried out. The audio sources are localized in the spatial domain (azimuth plan...
119
click to vote
EUROPAR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We use a parallel direct solver based on the Schur complement method for solving large sparse linear systems arising from the finite element method. A domain decompositi...
117
click to vote
RE
2004
Springer
15 years 5 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...