378 search results - page 14 / 76 » E-Classroom in Higher Education |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
104
click to vote
ICEBE
2006
IEEE
15 years 5 months ago
2006
IEEE
Currently supportive information systems for higher education and research are responding to specific information needs within institutes, departments and administration. These se...
101
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. In the context of a branch-and-bound framewo...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
In multi-input multi-output (MIMO) detection, semidefinite relaxation (SDR) has been shown to be an efficient high-performance approach. For BPSK and QPSK, it has been found that S...