1092 search results - page 117 / 219 » Do summaries help |
100
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
127
click to vote
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
To encourage open source/libre software development, it is desirable to have tools that can help to identify open source license violations. This paper describes the implementatio...
158
click to vote
ADAPTIVE
2007
Springer
15 years 10 months ago
2007
Springer
The large amount of available information on the Web makes it hard for users to locate resources about particular topics of interest. Traditional search tools, e.g., search engines...
102
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
Self-explaining has been repeatedly shown to result in positive learning outcomes for students in a wide variety of disciplines. However, there are two potential accounts for why s...
120
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
Students are starting to use networked visual argumentation tools to discuss, debate, and argue with one another about topics presented by a teacher. However, this development give...