3771 search results - page 390 / 755 » Subobject Transformation Systems |
143
Voted
JSAT
2006
15 years 4 months ago
2006
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
174
Voted
CAD
2004
Springer
15 years 4 months ago
2004
Springer
: LOGO is a programming language incorporating turtle graphics, originally devised for teaching computing to young children in elementary and middle schools. Here we advocate the u...
166
click to vote
CSDA
2004
15 years 4 months ago
2004
We present an algorithm for computing the probability density function of the product of two independent random variables, along with an implementation of the algorithm in a compu...
168
Voted
JGAA
2002
15 years 4 months ago
2002
Enabling the user of a graph drawing system to preserve the mental map between two different layouts of a graph is a major problem. In this paper we present methods that smoothly ...
111
click to vote
SJIS
2002
15 years 4 months ago
2002
This paper explores the relevance of recent feminist reconstructions of objectivity for the development of alternative practices of technology production and use. I take as my sta...