1187 search results - page 138 / 238 » Graph-Based Procedural Abstraction |
103
click to vote
FCSC
2008
15 years 1 months ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
142
click to vote
ENTCS
2006
15 years 1 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
105
click to vote
IIE
2006
15 years 1 months ago
2006
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
JACIII
2008
15 years 1 months ago
2008
Abstract. In this paper we introduce a multi-stage decision making procedure where decision makers' opinions are weighted by their contribution to the agreement after they sor...
101
click to vote
INFORMATICALT
2006
15 years 1 months ago
2006
Abstract. The paper addresses the problem of discrimination of homographs when a lengthy segment of an uttered word is missing. The considered discrimination procedure is done by r...