1095 search results - page 58 / 219 » Algebraic Guide Generation |
STOC
1993
ACM
14 years 1 months ago
1993
ACM
In this paper we consider the di culty of factoring multivariate polynomials F(x y z :::) modulo n. We consider in particular the case in which F is a product of two randomly chose...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
AAAI
1990
13 years 10 months ago
1990
This work pertains to the Knuth-Bendix (KB) algorithm which tries to find a complete set of reductions from a given set of equations. In the KB algorithm a term ordering is employ...
ER
2000
Springer
14 years 25 days ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...