6894 search results - page 414 / 1379 » Generation Problems |
159
Voted
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we propose an algorithm for personalized learning based on a user’s query and a repository of lecture subparts —i.e., learning objects— both are descr...
175
Voted
VMCAI
2007
Springer
16 years 29 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
152
click to vote
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
The power density inside high performance systems continues to rise with every process technology generation, thereby increasing the operating temperature and creating “hot spot...
183
click to vote
IROS
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
160
click to vote
LICS
2006
IEEE
16 years 27 days ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...