701 search results - page 46 / 141 » Comments on |
135
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Participants were observed while searching and browsing the internet for campaign information in a mock-voting situation in three online note-taking conditions: No Notes, Private ...
138
click to vote
ECTEL
2009
Springer
15 years 10 months ago
2009
Springer
While reading documents, people commonly make annotations: they underline or highlight text and write comments in the margin. Making annotations during reading activities has been ...
114
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
116
click to vote
ICWL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we describe the design steps of extending LAOS, a five-layer framework for generic adaptive web learning authoring, by adding a social layer to capture (and adapt) i...
C5
2008
IEEE
15 years 10 months ago
2008
IEEE
Sophie is an easy-to-use authoring tool that enables its users to combine various media into a new kind of book. With SophieServer, an extension to Sophie, it is now possible to s...