1585 search results - page 98 / 317 » A framework for computer-aided validation |
118
click to vote
MP
2007
15 years 2 months ago
2007
Abstract One method which has been used very successfully for finding optimal and provably good solutions for large instances of the Symmetric Travelling Salesman Problem (STSP) i...
113
click to vote
AIED
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we discuss the development of a theoretical framework for introducing adaptive presentation in adaptive testing. To this end, a discussion of some aspects concerning...
147
click to vote
IFM
2007
Springer
15 years 9 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
112
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— We propose a novel control framework for bilateral teleoperation of a pair of multi-degree-of-freedom (DOF) nonlinear robotic systems under constant communication delays. The p...
121
click to vote
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...