3677 search results - page 386 / 736 » Generalized Adaptive A* |
169
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
We have developed a CS1 curriculum that uses a robotics context to teach introductory programming [1]. Core to our approach is that each student has their own personal robot. Our ...
165
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
A new class of associations (polynomial itemsets and polynomial association rules) is presented which allows for discovering nonlinear relationships between numeric attributes wit...
165
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Page flipping is an important part of paper-based document navigation. However this affordance of paper document has not been fully transferred to digital documents. In this paper...
224
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
162
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Evolving database management systems (DBMS) towards more flexibility in functionality, adaptation to changing requirements, and extensions with new or different components, is a c...