984 search results - page 12 / 197 » ideas 2006 |
AML
2006
13 years 7 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
In this article, we study the quantified constraint satisfaction problem (QCSP) over infinite domains. We develop a technique called collapsibility that allows one to give strong c...
CC
2006
Springer
13 years 9 months ago
2006
Springer
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...
IJWBC
2006
13 years 7 months ago
2006
: DYNAMO (Dynamic Architectural Memory Online) is an interactive platform to share ideas, knowledge and insights in the form of concrete building projects among designers in differ...
JSS
2010
13 years 6 months ago
2010
Random testing is not only a useful testing technique in itself, but also plays a core role in many other testing methods. Hence, any significant improvement to random testing ha...