630 search results - page 114 / 126 » Symbolic Domain Decomposition |
165
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...
154
click to vote
CI
2011
14 years 11 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
246
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
131
Voted
IWSAS
2001
Springer
15 years 8 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
133
click to vote
ICCS
1997
Springer
15 years 7 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...