4708 search results - page 151 / 942 » Generating the Structure of Argument |
166
click to vote
ORDER
2006
15 years 6 months ago
2006
We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by the...
154
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
182
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
130
Voted
ICRA
2007
IEEE
16 years 10 days ago
2007
IEEE
— This paper gives new motion generation methods for mechanical port-Hamiltonian systems. First, we propose a generation method based on an asymptotic stabilization method withou...
162
Voted
AIED
2007
Springer
16 years 7 days ago
2007
Springer
An implicit assumption in psychometrics and educational statistics is that the generative model for student scores on test questions is governed by the topics of those questions an...