2853 search results - page 268 / 571 » On Coherence in Computer Algebra |
149
click to vote
MP
2008
15 years 4 months ago
2008
In this paper we discuss computational complexity and risk averse approaches to two and multistage stochastic programming problems. We argue that two stage (say linear) stochastic ...
142
Voted
MSCS
2008
15 years 4 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
126
click to vote
COLING
2002
15 years 4 months ago
2002
If information extraction wants to make its results more accurate, it will have to resort increasingly to a coherent implementation of natural language semantics. In this paper, w...
167
Voted
IDA
2000
Springer
15 years 4 months ago
2000
Springer
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand alize the regularities as abstract spatial objects evolving coher...
147
click to vote
ADG
2006
Springer
15 years 11 months ago
2006
Springer
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...