Sciweavers

5302 search results - page 789 / 1061
» Learning How to Separate
Sort
View
MSE
2005
IEEE
153views Hardware» more  MSE 2005»
16 years 7 days ago
ipPROCESS: Using a Process to Teach IP-Core Development
The reusing of Intellectual Property cores has been an alternative to the increasing gap between design productivity and chip complexity of emerging System-on-chip (SoC) designs. ...
Marilia Lima, Andre Aziz, Diogo José Costa ...
SIGDOC
2005
ACM
16 years 6 days ago
Information fragments for a pervasive world
Is the second paragraph dead? Technology and users are tending to create and consume information in ever decreasing chunks, forcing content creators to create shorter fragments of...
Russell Beale
AIED
2005
Springer
16 years 6 days ago
Tutorial Planning: Adapting Course Generation to Today's Needs
Most of today’s course generation does not allow an in-depth, generic representation of pedagogical knowledge. However, supporting individual learners with different goals requi...
Carsten Ullrich
CAV
2005
Springer
99views Hardware» more  CAV 2005»
16 years 6 days ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
CEAS
2005
Springer
16 years 6 days ago
Naive Bayes Spam Filtering Using Word-Position-Based Attributes
This paper explores the use of the naive Bayes classifier as the basis for personalised spam filters. Several machine learning algorithms, including variants of naive Bayes, hav...
Johan Hovold