2008 search results - page 151 / 402 » Computing with Equations |
209
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
206
click to vote
GEOINFORMATICA
1998
15 years 6 months ago
1998
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
190
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: The behaviors of cells in metazoans are context dependent, thus large-scale multicellular modeling is often necessary, for which cellular automata are natural candidat...
166
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
In this paper we discuss the efficient and accurate incorporation of texture maps into a hierarchical Galerkin radiosity algorithm. This extension of the standard algorithm allows...
196
click to vote
RTSS
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...