6709 search results - page 227 / 1342 » Impacting the Learning Experience |
154
click to vote
DATE
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
153
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
We describe the experience of three undergraduate computer science programs offering courses on parallel computing. In particular, we offer three different solutions to the proble...
189
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ...
164
click to vote
ML
2006
ACM
15 years 7 months ago
2006
ACM
It is well known that many hard tasks considered in machine learning and data mining can be solved in a rather simple and robust way with an instanceand distance-based approach. In...
209
click to vote
FLAIRS
2009
15 years 5 months ago
2009
As robots become more common, it becomes increasingly useful for them to communicate and effectively share knowledge that they have learned through their individual experiences. L...