630 search results - page 114 / 126 » Symbolic Domain Decomposition |
160
Voted
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...
151
Voted
CI
2011
14 years 10 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...
240
Voted
POPL
2008
ACM
16 years 3 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 ...
123
click to vote
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...
129
Voted
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...