4211 search results - page 379 / 843 » Types as Abstract Interpretations |
173
Voted
SIAMSC
2008
15 years 6 months ago
2008
A powerful method for solving planar eigenvalue problems is the Method of Particular Solutions (MPS), which is also well known under the name "point matching method". In ...
160
click to vote
JANCL
2007
15 years 6 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
158
click to vote
JIB
2007
15 years 6 months ago
2007
IMS2 is an Integrated Medical Software system for the analysis of Ion Mobility Spectrometry (IMS) data. It assists medical staff with the following IMS data processing steps: acqu...
167
click to vote
AIEDU
2004
15 years 6 months ago
2004
The REDEEM authoring environment allows teachers to create learning environments from existing computer-based training (CBT) by imposing their pedagogical preferences about how stu...
211
click to vote
KAIS
2000
15 years 6 months ago
2000
To use graphics efficiently in an automatic report generation system, one has to model messages and how they go from the writer (intention) to the reader (interpretation). This pap...